1992 search results - page 103 / 399 » Model Based Testing with Labelled Transition Systems |
153
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
134
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
132
click to vote
ICCAD
2003
IEEE
16 years 3 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
158
click to vote
TSE
2010
14 years 10 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
132
click to vote
ISLPED
1999
ACM
15 years 7 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...