Sciweavers

3387 search results - page 136 / 678
» Automating the Metamodeling Process
Sort
View
126
Voted
SCIA
2005
Springer
203views Image Analysis» more  SCIA 2005»
15 years 10 months ago
Automated Multiple View Inspection Based on Uncalibrated Image Sequences
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
Domingo Mery, Miguel Carrasco
ISVLSI
2003
IEEE
147views VLSI» more  ISVLSI 2003»
15 years 9 months ago
Automated Dynamic Memory Data Type Implementation Exploration and Optimization
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
Marc Leeman, Chantal Ykman-Couvreur, David Atienza...
ICSOC
2003
Springer
15 years 9 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
DSN
2002
IEEE
15 years 9 months ago
An Automated Approach to Increasing the Robustness of C Libraries
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
Christof Fetzer, Zhen Xiao
ICSE
2009
IEEE-ACM
15 years 9 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...