12745 search results - page 452 / 2549 » Automating test automation |
170
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
170
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Through automated negotiation we aim to improve task allocation in a distributed sensor network. In particular, we look at a type of adaptive weather-sensing radar that permits th...
177
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
167
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Using a high-resolution (30 MHz) ultrasound system (Vevo 770, VisualSonics Inc.) and a retrospective ECGgating technique, an extremely high frame-rate (up to 8 kHz) was previously...
171
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we present a genetic algorithm based automated circuit synthesis framework for passive analog circuits. A procedure is developed for the simultaneous generation of b...