4299 search results - page 537 / 860 » Concurrent Test Generation |
150
Voted
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
126
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Large number of medical images are produced daily in hospitals and medical institutions, the needs to efficiently process, index, search and retrieve these images are great. In t...
129
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The objectives of this paper are to describe a steady-state version of the Age-Layered Population Structure (ALPS) Evolutionary Algorithm (EA) and to compare it against other GAs ...
157
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
141
click to vote
ACMACE
2009
ACM
15 years 11 months ago
2009
ACM
We investigate camera-based interaction techniques suitable for generating simple, easy-to-use augmented reality applications. All the interaction techniques described are based o...