1528 search results - page 102 / 306 » Performance Assertion Checking |
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
TGC
2005
Springer
14 years 3 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
ADAEUROPE
2003
Springer
14 years 3 months ago
2003
Springer
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
DBPL
2007
Springer
14 years 2 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...