799 search results - page 45 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ICASSP
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper presents a novel algorithm for computing the relative motion between images from compressed linear measurements. We propose a geometry based correlation model that desc...
NIPS
1996
14 years 9 days ago
1996
We present a general encoding-decoding framework for interpreting the activity of a population of units. A standard population code interpretation method, the Poisson model, start...
IASTEDSE
2004
14 years 11 days ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
FATES
2003
Springer
14 years 4 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ISSTA
2006
ACM
14 years 5 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...