10585 search results - page 1743 / 2117 » The Orc Programming Language |
130
click to vote
KBSE
2006
IEEE
15 years 10 months 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...
159
click to vote
KBSE
2006
IEEE
15 years 10 months 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...
165
Voted
MTV
2006
IEEE
15 years 10 months 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...
144
click to vote
WCRE
2006
IEEE
15 years 10 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 ...
119
click to vote
APLAS
2006
ACM
15 years 10 months 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...