Sciweavers

5830 search results - page 34 / 1166
» Automatic link generation
Sort
View
QSIC
2003
IEEE
14 years 2 months ago
Character String Predicate Based Automatic Software Test Data Generation
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
Ruilian Zhao, Michael R. Lyu
DAC
1997
ACM
14 years 29 days ago
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
Oriol Roig, Jordi Cortadella, Marco A. Peña...
CICLING
2010
Springer
14 years 20 days ago
Automatic Generation of Bilingual Dictionaries Using Intermediary Languages and Comparable Corpora
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...
Pablo Gamallo Otero, José Ramon Pichel Camp...
CIKM
2008
Springer
13 years 10 months ago
Automatic metadata generation for scanned scientific volumes
Large scale digitization projects have been conducted at the Internet Archive digital library to preserve cultural artifacts and to provide permanent access. The increasing amount...
Xiaonan Lu, Brewster Kahle
ICCL
1992
IEEE
14 years 25 days ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg