900 search results - page 116 / 180 » A Tool-Supported Approach to Testing UML Design Models |
149
Voted
VLC
2008
15 years 3 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
173
Voted
CADE
2008
Springer
16 years 4 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...
124
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
180
Voted
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
122
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...