135 search results - page 10 / 27 » Concurrency in Prolog Using Threads and a Shared Database |
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
ASIAN
2004
Springer
14 years 1 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,...
SASP
2008
IEEE
14 years 2 months ago
2008
IEEE
Ray tracing is a technique used for generating highly realistic computer graphics images. In this paper, we explore the design of a simple but extremely parallel, multi-threaded, ...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...