2875 search results - page 406 / 575 » Model checking agentspeak |
122
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
172
click to vote
ENTCS
2007
15 years 2 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
109
click to vote
JUCS
2006
15 years 2 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
107
click to vote
NECO
2008
15 years 2 months ago
2008
The functions of sleep have been an enduring mystery. Recently, Tononi and Cirelli hypothesized that one of the functions of slow-wave sleep is to scale down synapses in the corte...
129
click to vote
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...