Pandora - an experimental system for multimedia applications
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Pegasus—operating system support for distributed multimedia systems
ACM SIGOPS Operating Systems Review
The use of message-based multicomputer components to construct gigabit networks
ACM SIGCOMM Computer Communication Review
Experiences of building an ATM switch for the local area
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
The formal verification of an ATM network
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
The design & implementation of a hybrid handover protocol for multi-media wireless LANs
MobiCom '95 Proceedings of the 1st annual international conference on Mobile computing and networking
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
Mobile Networks and Applications - Special issue: routing in mobile communications networks
A hybrid handover protocol for local area wireless ATM networks
Mobile Networks and Applications - Special issue on wireless ATM
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal hardware verification by integrating HOL and MDG
GLSVLSI '00 Proceedings of the 10th Great Lakes symposium on VLSI
A signaling architecture for wireless ATM access networks
Wireless Networks
Operating system support for multimedia
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Comparing HOL and MDG: a case study on the verification of an ATM switch fabric
Nordic Journal of Computing
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Hierarchical Verification Using an MDG-HOL Hybrid Tool
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Hardware Verification Using Co-induction in COQ
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A comparative study of UNI signaling systems and protocols for ATM networks
ICCC '02 Proceedings of the 15th international conference on Computer communication
10Gb/s Ethernet performance and retrospective
ACM SIGCOMM Computer Communication Review
Experience and results from the implementation of an ATM socket family
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Operating-system support for distributed multimedia
USTC'94 Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference - Volume 1
Formal verification of ASMs using MDGs
Journal of Systems Architecture: the EUROMICRO Journal
Improving hardware designs whilst simplifying their proof
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Mobility management and control in intelligent wireless ATM networks
Computer Communications
| Hi-index | 0.00 |