Sciweavers

8499 search results - page 34 / 1700
» networking 2007
Sort
View
138
Voted
NOCS
2007
IEEE
16 years 25 days ago
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
Dominique Borrione, Amr Helmy, Laurence V. Pierre,...
IPSN
2007
Springer
16 years 21 days ago
Movement Analysis in Rock-Climbers
Thomas Schmid, Roy Shea, Jonathan Friedman, Mani B...
EMNETS
2007
15 years 10 months ago
Adding preemption to TinyOS
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. ...
DSN
2007
IEEE
15 years 8 months ago
Synchronous Consensus with Mortal Byzantines
Josef Widder, Günther Gridling, Bettina Weiss...