1866 search results - page 24 / 374 » Flexibly Interleaving Processes |
ICIP
2009
IEEE
15 years 6 days ago
2009
IEEE
114
click to vote
CAV
2009
Springer
16 years 3 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
15 years 8 months ago
2005
IEEE
126
click to vote
IMR
2004
Springer
15 years 7 months 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...
121
click to vote
ARTS
1999
Springer
15 years 6 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...