Sciweavers

28821 search results - page 495 / 5765
» Distributed and parallel systems
Sort
View
133
Voted
ICPADS
2002
IEEE
15 years 11 months ago
A Multi-locking Mechanism on Shared Object DSM
Adam K. L. Wong, Weiping Zhu
IPPS
2002
IEEE
15 years 11 months ago
Mixed Formal Specifications with PVS
Michel Allemand, Jean-Claude Royer
85
Voted
IPPS
2002
IEEE
15 years 11 months ago
Model-Based Fault Detection in Powerline Networking
Anish Arora, Rajesh Jagannathan, Yi-Min Wang