987 search results - page 139 / 198 » Implementing an untrusted operating system on trusted hardwa... |
159
click to vote
ICS
2004
Tsinghua U.
15 years 11 months ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
173
click to vote
TPHOL
2007
IEEE
16 years 5 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
168
click to vote
ICPP
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper introduces a new highly optimized architecture for remote memory access (RMA). RMA, using put and get operations, is a one-sided communication function which amongst ot...
163
click to vote
ACSAC
2009
IEEE
16 years 22 days ago
2009
IEEE
—The web is a primary means of information sharing for most organizations and people. Currently, a recipient of web content knows nothing about the environment in which that info...
171
click to vote
DFG
2007
Springer
16 years 2 days ago
2007
Springer
: Over the past years, the interaction between humans and computers (HCI) evolved to one of the most important research topics in computer science. Therefore, finding a way for an...