Sciweavers

7456 search results - page 62 / 1492
» Parallelism in Logic Programs
Sort
View
IWOMP
2010
Springer
15 years 11 months ago
Fuzzy Application Parallelization Using OpenMP
Chantana Chantrapornchai, J. Pipatpaisan
CF
2010
ACM
16 years 5 days ago
Exposing parallelism and locality in a runtime parallel optimization framework
Runtime parallel optimization has been suggested as a means to overcome the difficulties of parallel programming. For runtime parallel optimization to be effective, parallelism a...
David A. Penry, Daniel J. Richins, Tyler S. Harris...
271
Voted
POPL
2002
ACM
16 years 7 months ago
Analyzing security protocols with secrecy types and logic programs
Bruno Blanchet, Martín Abadi