12452 search results - page 2079 / 2491 » An exploration of program as language |
165
click to vote
KBSE
2006
IEEE
16 years 24 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
208
click to vote
MTV
2006
IEEE
16 years 24 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
186
click to vote
WCRE
2006
IEEE
16 years 24 days 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 ...
151
click to vote
APLAS
2006
ACM
16 years 23 days ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
160
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...