322 search results - page 24 / 65 » An Example of an Automatic Differentiation-Based Modelling S... |
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
CSMR
2007
IEEE
15 years 4 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
104
click to vote
DAC
2008
ACM
15 years 11 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
SPLC
2008
14 years 11 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
FIDJI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...