2520 search results - page 284 / 504 » Model-checking behavioral programs |
163
click to vote
ECAI
2004
Springer
16 years 5 hour ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
211
click to vote
IEEEINTERACT
2003
IEEE
15 years 12 months ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
142
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
189
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
155
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...