2278 search results - page 43 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ICCD
1995
IEEE
15 years 1 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Opportunistic routing is a well-known technique that exploits the broadcast nature of wireless transmissions and path diversity to form the route in an adaptive manner based on cur...
137
click to vote
TMI
2010
14 years 4 months ago
2010
Abstract--We have developed a novel, model-based active contour algorithm, termed "snakules", for the annotation of spicules on mammography. At each suspect spiculated ma...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
LOPSTR
2004
Springer
15 years 3 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...