219 search results - page 20 / 44 » Context-aware counter abstraction |
WOA
2007
15 years 29 days ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
ICS
2010
Tsinghua U.
14 years 10 months ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
EUROSSC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We introduce the harvesting of natural background radioactivity for positioning. Using a standard Geiger-M