Sciweavers

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