1677 search results - page 217 / 336 » On the Completeness of Quantum Computation Models |
152
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
175
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
200
click to vote
NSDI
2010
15 years 7 months ago
2010
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, many implementations of MapReduce materialize the entire outp...
192
click to vote
ISCAPDCS
2007
15 years 7 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...
170
click to vote
FUIN
2006
15 years 6 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...