Sciweavers

135 search results - page 1 / 27
» Concurrency in Prolog Using Threads and a Shared Database
Sort
View
ICLP
1999
Springer
13 years 9 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
ICLP
2003
Springer
13 years 10 months ago
Native Preemptive Threads in SWI-Prolog
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
Jan Wielemaker
PADL
2010
Springer
13 years 7 months ago
A Simple and Efficient Implementation of Concurrent Local Tabling
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
Rui Marques, Terrance Swift, José C. Cunha
SEW
2005
IEEE
13 years 10 months ago
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...
DATE
2006
IEEE
106views Hardware» more  DATE 2006»
13 years 11 months ago
Memory centric thread synchronization on platform FPGAs
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
Chidamber Kulkarni, Gordon J. Brebner