987 search results - page 148 / 198 » Implementing an untrusted operating system on trusted hardwa... |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
SOSP
1993
ACM
13 years 10 months ago
1993
ACM
Inter-process communication (ipc) has to be fast and e ective, otherwise programmers will not use remote procedure calls(RPC),multithreadingand multitasking adequately. Thus ipc p...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
The principal objectives of next generation wireless communication are the delivery of higher data rate services including video, audio, data and voice signals with worldwide comp...