7557 search results - page 81 / 1512 » Modeling Timed Concurrent Systems |
127
click to vote
DLT
2007
15 years 2 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
123
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
112
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
135
click to vote
IEEEPACT
2009
IEEE
14 years 11 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
108
click to vote
VLSID
1999
IEEE
15 years 5 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...