2520 search results - page 175 / 504 » Model-checking behavioral programs |
138
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
171
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
137
click to vote
IFM
2009
Springer
16 years 26 days ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
202
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
166
click to vote
ERSHOV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...