7504 search results - page 19 / 1501 » Computing with Action Potentials |
SIBGRAPI
1999
IEEE
13 years 12 months ago
1999
IEEE
RANDOM
1997
Springer
13 years 12 months ago
1997
Springer
CF
2008
ACM
13 years 9 months ago
2008
ACM
CONEXT
2005
ACM
13 years 9 months ago
2005
ACM
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...