5171 search results - page 657 / 1035 » Deterministic Parallel Processing |
162
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
195
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
190
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
171
Voted
SNPD
2008
15 years 7 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
189
click to vote
DELOS
2001
15 years 7 months ago
2001
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...