1222 search results - page 152 / 245 » Verifying a File System Implementation |
165
Voted
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
140
click to vote
AIMS
2008
Springer
15 years 4 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
114
Voted
NOMS
2010
IEEE
15 years 13 days ago
2010
IEEE
Crash and omission failures are common in service providers: a disk can break down or a link can fail anytime. In addition, the probability of a node failure increases with the num...
115
Voted
RSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
98
Voted
TRIDENTCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...