3456 search results - page 278 / 692 » Byte Code Engineering |
145
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Object oriented software development is designed to be modular, with code reuse being very common. When bugs are introduced, they can manifest themselves in one or more sections o...
116
click to vote
COMPSEC
2010
15 years 20 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
171
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...
130
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
127
Voted
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...