Sciweavers

8499 search results - page 34 / 1700
» network 2007
Sort
View
NOCS
2007
IEEE
16 years 1 months 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 1 months ago
Movement Analysis in Rock-Climbers
Thomas Schmid, Roy Shea, Jonathan Friedman, Mani B...
EMNETS
2007
15 years 11 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...