7456 search results - page 389 / 1492 » Parallelism in Logic Programming |
200
click to vote
ESCIENCE
2005
IEEE
16 years 11 days ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
173
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...
172
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we examine the implications of building a single logical link out of multiple physical links. We use MultiEdge [12] to examine the throughput-CPU utilization tradeoff...
223
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
170
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...