2875 search results - page 524 / 575 » Distributed Reactive Machines |
150
click to vote
PACT
2005
Springer
15 years 8 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
132
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
We present a new algorithm for finding large, dense subgraphs in massive graphs. Our algorithm is based on a recursive application of fingerprinting via shingles, and is extreme...
115
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
147
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
125
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Grid is realizing the vision of providing computation as utility: computation jobs can be scheduled on-demand in Grid hosts based on available computation capacity. In this pa...