3431 search results - page 64 / 687 » A new instructional operating system |
USS
2008
13 years 11 months ago
2008
A fundamental tension exists between safety in the common case and security under adversarial conditions for wireless implantable medical devices. We propose a class of new, fail-...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
ASAP
2003
IEEE
14 years 2 months ago
2003
IEEE
Symmetric-key block ciphers encrypt data, providing data confidentiality over the public Internet. For inter-operability reasons, it is desirable to support a variety of symmetric...
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
HIPC
2009
Springer
13 years 7 months ago
2009
Springer
Group file operations are a new, intuitive idiom for tools and middleware - including parallel debuggers and runtimes, performance measurement and steering, and distributed resourc...