3441 search results - page 215 / 689 » Parallel Logic Programming Systems |
132
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
128
click to vote
JPDC
2006
15 years 3 months ago
2006
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...
122
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
141
click to vote
ENTCS
2008
15 years 3 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
147
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...