5334 search results - page 348 / 1067 » Communicating quantum processes |
153
click to vote
PRDC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper assesses message missing failures in a FlexRay-based network. The assessment is based on about 35680 bit-flip fault injections inside different parts of the FlexRay com...
179
click to vote
DCOSS
2007
Springer
16 years 26 days ago
2007
Springer
In self-organizing networks of battery-powered wireless sensors that can sense, process, and communicate, energy is the most crucial and scarce resource. However, since sensor netw...
162
Voted
KBSE
2006
IEEE
16 years 21 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
171
click to vote
PVM
2005
Springer
16 years 5 days ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
157
click to vote
ICICS
2004
Springer
16 years 2 days ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...