6829 search results - page 1280 / 1366 » Quantitative Generalizations of Languages |
133
Voted
EUROSYS
2009
ACM
16 years 14 days ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
165
Voted
EUROSYS
2008
ACM
16 years 14 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
124
Voted
EUROSYS
2007
ACM
16 years 14 days ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
159
Voted
EUROSYS
2007
ACM
16 years 14 days ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
124
Voted
EUROSYS
2006
ACM
16 years 14 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...