Sciweavers

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