HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Recent work on applications ranging from realistic honeypots to stealthier rootkits has speculated about building transparent VMMs
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present the idea of a web based covert file system, CovertFS. This file system allows a user to store files covertly on media sharing websites while guaranteeing confidentialit...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Data centers are the backend for a large number of services that we take for granted today. A significant fraction of the total cost of ownership of these large-scale storage syst...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will bec...
EWSN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
With the increased use of network enabled applications and server hosted software systems, scalability with respect to network connectivity is becoming an increasingly important s...
DUX
2007
13 years 11 months ago
2007
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
DFG
2007
Springer
13 years 11 months ago
2007
Springer
: Interval arithmetic was introduced by Ramon Moore [Moo66] in the 1960s as an approach to bound rounding errors in mathematical computation. The theory of interval analysis emerge...