Sciweavers

1253 search results - page 146 / 251
» order 2000
Sort
View
CL
2000
Springer
15 years 9 months ago
Modelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
Francisco Azevedo, Pedro Barahona
ITC
2000
IEEE
101views Hardware» more  ITC 2000»
15 years 9 months ago
Reducing test data volume using external/LBIST hybrid test patterns
A common approachfor large industrial designs is to use logic built-in self-test (LBIST)followed by test data from an external tester. Because the fault coverage with LBIST alone ...
Debaleena Das, Nur A. Touba
CC
2000
Springer
105views System Software» more  CC 2000»
15 years 9 months ago
MATOU: An Implementation of Mode-Automata
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
Florence Maraninchi, Yann Rémond, Yannick R...
EVOW
2010
Springer
16 years 5 days ago
Towards Automatic Detecting of Overlapping Genes - Clustered BLAST Analysis of Viral Genomes
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...
Klaus Neuhaus, Daniela Oelke, David Fürst, Si...
ECOOP
2000
Springer
15 years 9 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen