505 search results - page 26 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
135
click to vote
LICS
2009
IEEE
16 years 18 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
160
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
135
click to vote
HASE
2007
IEEE
16 years 9 days ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
172
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
170
click to vote
ICS
2007
Tsinghua U.
16 years 3 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...