Sciweavers

1204 search results - page 34 / 241
» Parallel concurrent ML
Sort
View
CONCUR
2006
Springer
15 years 6 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
Roberto Segala
IFL
2004
Springer
15 years 7 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
ACSC
2005
IEEE
15 years 8 months ago
Optimising Parallel Pattern-matching by Source-level Program Transformation
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
R. Lyndon While, Tony Field
MICRO
2000
IEEE
137views Hardware» more  MICRO 2000»
15 years 6 months ago
Relational profiling: enabling thread-level parallelism in virtual machines
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
Timothy H. Heil, James E. Smith
CONCURRENCY
2010
112views more  CONCURRENCY 2010»
15 years 2 months ago
Performance results of running parallel applications on the InteGrade
The InteGrade project is an on-going project with the participation of several research groups in Brazil. It is an opportunistic grid middleware that intends to exploit the idle t...
E. N. Cáceres, Henrique Mongelli, L. Lourei...