3441 search results - page 158 / 689 » Parallel Logic Programming Systems |
97
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
102
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
149
Voted
JAVA
2000
Springer
15 years 6 months ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
122
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
112
Voted
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...