17054 search results - page 265 / 3411 » Logics of Dynamical Systems |
199
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing t...
222
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
185
click to vote
CHES
2006
Springer
15 years 11 months ago
2006
Springer
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...
164
click to vote
SCANGIS
2001
15 years 8 months ago
2001
Dynamic maps, often in the form of web-maps, are becoming increasingly popular. This article discusses software architectures and individual components to meet the demands of the m...
162
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...