1092 search results - page 70 / 219 » Located Operators |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
—MIMO and higher-order modulation (64-QAM) have recently been introduced in the HSPA downlink (HSDPA) to extend peak data rates. Both techniques demand a high SINR operating poin...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
ISSRE
2007
IEEE
13 years 11 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...