6201 search results - page 1195 / 1241 » Implementation of Axiomatic Language |
127
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
141
click to vote
ACMMSP
2005
ACM
15 years 10 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
137
click to vote
VEE
2005
ACM
15 years 10 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
178
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
142
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...