2520 search results - page 312 / 504 » Model-checking behavioral programs |
171
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
147
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
162
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
179
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
159
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...