Sciweavers

4013 search results - page 122 / 803
» computer 2002
Sort
View
DSN
2002
IEEE
15 years 8 months ago
SMART: Stochastic Model-checking Analyzer for Reliability and Timing
Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
83
Voted
DSN
2002
IEEE
15 years 8 months ago
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
Keith Whisnant, Ravishankar K. Iyer, P. Jones, Rap...
95
Voted
FOCS
2002
IEEE
15 years 8 months ago
Power from Random Strings
Eric Allender, Harry Buhrman, Michal Koucký...
103
Voted
HAPTICS
2002
IEEE
15 years 8 months ago
Validating a Novel Approach to Rendering Fingertip Contact Sensations
Mark A. Salada, J. Edward Colgate, Margaret V. Lee...
92
Voted
ICNP
2002
IEEE
15 years 8 months ago
A Formal Approach for Passive Testing of Protocol Data Portions
David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...