2497 search results - page 138 / 500 » Requirements for models of achievable routing |
107
click to vote
GI
2007
Springer
15 years 5 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
120
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
101
click to vote
WSC
2007
15 years 4 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
98
Voted
SNPD
2003
15 years 3 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
101
click to vote
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...