1204 search results - page 130 / 241 » Parallel concurrent ML |
144
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
124
click to vote
IWMM
2004
Springer
15 years 9 months ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
134
click to vote
ESTIMEDIA
2003
Springer
15 years 9 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
101
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
110
Voted
FAC
2006
15 years 3 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...