9067 search results - page 718 / 1814 » Adaptive Model Checking |
170
click to vote
IJBC
2010
15 years 4 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...
181
click to vote
CORR
2010
Springer
15 years 4 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...
181
click to vote
CIBSE
2009
ACM
16 years 2 months ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
210
click to vote
WSC
2007
15 years 9 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
231
click to vote
FMICS
2007
Springer
16 years 1 months 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. ...