2520 search results - page 312 / 504 » Model-checking behavioral programs |
128
Voted
ISSRE
2002
IEEE
15 years 7 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...
101
Voted
LCPC
2001
Springer
15 years 7 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...
122
Voted
MICRO
2000
IEEE
15 years 6 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...
139
click to vote
SAC
2000
ACM
15 years 6 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 ...
113
click to vote
CL
2000
Springer
15 years 6 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...