10666 search results - page 1750 / 2134 » Quantum programming languages |
173
click to vote
ICAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
136
click to vote
KBSE
2006
IEEE
15 years 11 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...
174
click to vote
KBSE
2006
IEEE
15 years 11 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...
167
click to vote
MTV
2006
IEEE
15 years 11 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...
150
click to vote
WCRE
2006
IEEE
15 years 11 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 ...