5810 search results - page 1070 / 1162 » An Approach to Programming Based on Concepts |
150
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
117
Voted
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Circuit and processor designs will continue to increase in complexity for the foreseeable future. With these increasing sizes comes the use of wide buses to move large amounts ...
120
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can per...
154
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Continuous monitoring and diagnosis of network performance are of crucial importance for the Internet access service and virtual private network (VPN) service providers. Various o...
137
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...