3090 search results - page 588 / 618 » On Testing Answer-Set Programs |
117
click to vote
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
150
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
124
click to vote
ACSC
2003
IEEE
15 years 7 months ago
2003
IEEE
Clusters of commodity machines have become a popular way of building cheap high performance parallel computers. Many of these designs rely on standard Ethernet networks as a syste...
100
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present the internal representation and optimizations used by the CASH compiler for improving the memory parallelism of pointer-based programs. CASH uses an SSA-b...