10622 search results - page 1743 / 2125 » Python Programming Language |
220
click to vote
KBSE
2006
IEEE
16 years 23 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
206
click to vote
MTV
2006
IEEE
16 years 23 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...
185
click to vote
WCRE
2006
IEEE
16 years 23 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 ...
150
click to vote
APLAS
2006
ACM
16 years 22 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...
159
click to vote
CASES
2006
ACM
16 years 22 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 ...