243 search results - page 48 / 49 » Error Detection Using Dynamic Dataflow Verification |
165
click to vote
FUIN
2007
15 years 1 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
134
Voted
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
127
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
129
Voted
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...