Sciweavers

17582 search results - page 308 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
IPPS
2002
IEEE
16 years 5 days ago
Mixed Formal Specifications with PVS
Michel Allemand, Jean-Claude Royer
IPPS
2002
IEEE
16 years 5 days ago
Model-Based Fault Detection in Powerline Networking
Anish Arora, Rajesh Jagannathan, Yi-Min Wang