7456 search results - page 1063 / 1492 » Parallelism in Logic Programming |
187
click to vote
LCPC
2007
Springer
16 years 29 days ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
177
click to vote
LCPC
2007
Springer
16 years 29 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
206
click to vote
MIDDLEWARE
2007
Springer
16 years 29 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
157
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
190
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...