303 search results - page 56 / 61 » Automata on Gauss Words |
182
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...
156
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
158
Voted
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
165
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
147
click to vote
PODC
1991
ACM
15 years 9 months ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are defined and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is de...