11716 search results - page 72 / 2344 » Computable symbolic dynamics |
183
click to vote
FOSSACS
2007
Springer
16 years 9 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
163
click to vote
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
128
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
We present a symbolic algorithm for strongly connected component decomposition. The algorithm performs (n log n) image and preimage computations in the worst case, where n is the n...
142
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
157
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...