Sciweavers

963 search results - page 121 / 193
» On the decomposition of rational functions
Sort
View
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
14 years 1 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...
ALP
1990
Springer
14 years 1 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
ASAP
2004
IEEE
124views Hardware» more  ASAP 2004»
14 years 20 days ago
Biosequence Similarity Search on the Mercury System
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
Praveen Krishnamurthy, Jeremy Buhler, Roger D. Cha...
ECML
2006
Springer
14 years 18 days ago
Case-Based Label Ranking
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. We approach this setting from a case-based perspective and propo...
Klaus Brinker, Eyke Hüllermeier
EURODAC
1995
IEEE
131views VHDL» more  EURODAC 1995»
14 years 14 days ago
System level design, a VHDL based approach
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
Joris van den Hurk, Edwin Dilling