2859 search results - page 233 / 572 » A Programming Environment for Bousi-Prolog |
170
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
160
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
169
click to vote
PADL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
165
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
153
click to vote
SC
1990
ACM
15 years 10 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...