174 search results - page 16 / 35 » Exceptionally Safe Futures |
CBSQ
2003
Springer
14 years 27 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
OSDI
2004
ACM
14 years 8 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
The continuing advancement of plasma science is central to realizing fusion as an inexpensive and safe energy source. Gryokinetic simulations of plasmas are fundamental to the und...
ICDCSW
2008
IEEE
14 years 2 months ago
2008
IEEE
Research in MANETs has resulted in the development of numerous and diverse routing protocols. We argue in this paper that this diversity is inherent to the MANET domain and theref...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...