3281 search results - page 248 / 657 » An Approach to use Executable Models for Testing |
100
click to vote
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
169
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
149
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
194
click to vote
CRV
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment ...
124
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...