4139 search results - page 724 / 828 » Designing and Implementing Combinator Languages |
75
Voted
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
WCRE
2006
IEEE
15 years 5 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
ISLPED
2006
ACM
15 years 5 months ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...