3909 search results - page 4 / 782 » Extreme Model Checking |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
CAV
2009
Springer
14 years 3 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
EUROIMSA
2006
13 years 10 months ago
2006
Exaggeration is often used in art and entertainment to capture the interest and attention of an audience. We present an approach to automatically exaggerate the distinctive featur...
MA
2010
Springer
13 years 7 months ago
2010
Springer
We present a new parametric model for the angular measure of a multivariate extreme value distribution. Unlike many parametric models that are limited to the bivariate case, the ...
ESANN
2008
13 years 10 months ago
2008
This paper proposes a methodology named OP-ELM, based on a recent development