2872 search results - page 367 / 575 » On (Omega-)Regular Model Checking |
173
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
194
click to vote
CC
2009
Springer
15 years 4 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
142
click to vote
IJBC
2010
15 years 3 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
157
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
201
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...