846 search results - page 85 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
103
Voted
HOTDEP
2008
15 years 3 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
110
Voted
COMPCON
1994
IEEE
15 years 4 months ago
1994
IEEE
A fully asynchronous implementation of the ARM microprocessor has been developed in order to investigate the potential of asynchronous logic for low-power applications. The work d...
102
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
114
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
83
Voted
VLSID
1997
IEEE
15 years 5 months ago
1997
IEEE
Integer addition is one of the most important operations in digital computer systems because the performance of processors is significantly influenced by the speed of their adde...