1477 search results - page 134 / 296 » Criteria for the evaluation of implemented architectures |
SIGOPS
2008
13 years 10 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
ISCA
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper evaluates the tradeoffs involved in the design of the software-extended memory system of Alewife, a multiprocessor architecturethat implements coherentsharedmemorythrou...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of untrusted Internet services on shared hardware. Denali...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...