3441 search results - page 242 / 689 » Parallel Logic Programming Systems |
165
Voted
VMCAI
2010
Springer
16 years 21 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
96
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
132
click to vote
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
150
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...
120
click to vote
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
Virtualization using Xen-based virtual machine environment has yet to permeate the field of high performance computing (HPC). One major requirement for HPC is the availability of ...