2935 search results - page 383 / 587 » An Integrated Approach to High Integrity Software Verificati... |
161
click to vote
MTA
2010
15 years 4 months ago
2010
Recent advances in semantic image analysis have brought forth generic methodologies to support concept learning at large scale. The attained performance however is highly variable,...
184
click to vote
MEMICS
2010
15 years 1 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
265
click to vote
IHI
2012
14 years 2 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
158
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
157
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
The performance of virtual machines (e.g., Java Virtual Machines—JVMs) can be significantly improved when critical code sections (e.g., Java bytecode methods) are migrated from...