3441 search results - page 476 / 689 » Parallel Logic Programming Systems |
161
Voted
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
- With the progress of research on cluster computing, more and more universities have begun to offer various courses covering cluster computing. A wide variety of content can be ta...
155
Voted
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
159
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
160
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
152
click to vote
ERLANG
2007
ACM
15 years 9 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...