1866 search results - page 24 / 374 » Flexibly Interleaving Processes |
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
AVSS
2005
IEEE
14 years 1 months ago
2005
IEEE
IMR
2004
Springer
14 years 23 days ago
2004
Springer
We introduce an indexing scheme for the vertices of semi-regular meshes, based on interleaving quadtrees rooted on the edges of the base mesh. Using this indexing scheme we develo...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...