1342 search results - page 163 / 269 » Ordered Programs as Abductive Systems |
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...
SOCO
2007
Springer
14 years 3 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
CASES
2007
ACM
14 years 26 days ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...