2805 search results - page 455 / 561 » Collecting More Garbage |
141
click to vote
WPES
2003
ACM
15 years 10 months ago
2003
ACM
Mix networks are used to deliver messages anonymously to recipients, but do not straightforwardly allow the recipient of an anonymous message to reply to its sender. Yet the abili...
169
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
139
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single- and multi-variable atomicity violation bugs. The key idea is to group related data...
116
Voted
CCGRID
2002
IEEE
15 years 10 months ago
2002
IEEE
More and more parallel applications are running in a distributed environment to take advantage of easily available and inexpensive commodity resources. For data intensive applicat...
152
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...