7456 search results - page 44 / 1492 » Parallelism in Logic Programming |
136
Voted
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
140
Voted
SIGOPSE
1998
ACM
15 years 7 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
106
Voted
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
140
Voted
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
121
Voted
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...