7960 search results - page 1487 / 1592 » Systems for Knowledge and Beliefs |
236
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...
172
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
181
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...
169
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
152
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A collective of agents often needs to maximize a “world utility” function which rates the performance of an entire system, while subject to communication restrictions among th...