3693 search results - page 464 / 739 » Splitting a Logic Program |
164
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Decomposing complex software systems into conceptually independent subsystems is a significant software engineering activity which received considerable research attention. Most o...
169
click to vote
ISHPC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Writing e cient iterative solvers for irregular, sparse matrices in HPF is hard. The locality in the computations is unclear, and for e ciency we use storage schemes that...
211
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Metacomputing infrastructures couple multiple clusters (or MPPs) via wide-area networks. A major problem in programming parallel applications for such platforms is their hierarchi...
178
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
Deeply pipelined high performance processors require highly accurate branch prediction to drive their instruction fetch. However there remains a class of events which are not easi...
174
click to vote
ASAP
2010
IEEE
15 years 8 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...