5169 search results - page 582 / 1034 » Locality approximation using time |
176
click to vote
ICCS
2004
Springer
16 years 17 days ago
2004
Springer
We consider the realization of matrix-matrix multiplication and propose a hierarchical algorithm implemented in a task-parallel way using multiprocessor tasks on distributed memory...
179
click to vote
CAV
2003
Springer
16 years 12 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
161
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...
180
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
214
click to vote
IWIPS
2007
15 years 8 months ago
2007
For the first time, the IWIPS conference will take place outside Europe, the US or Canada. Taking place this year in Southern Mexico, in the beautiful city of Mérida and its surr...