Sciweavers

338 search results - page 33 / 68
» What is Input Output Logic
Sort
View
109
Voted
WCRE
1995
IEEE
15 years 4 months ago
Observed Idiosyncracies of Relational Database Designs
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
Michael R. Blaha, William J. Premerlani
120
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 6 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
90
Voted
TCAD
1998
86views more  TCAD 1998»
15 years 2 days ago
Fast heuristic and exact algorithms for two-level hazard-free logic minimization
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
Michael Theobald, Steven M. Nowick
117
Voted
ASPDAC
2009
ACM
152views Hardware» more  ASPDAC 2009»
15 years 7 months ago
A novel Toffoli network synthesis algorithm for reversible logic
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
Yexin Zheng, Chao Huang
124
Voted
SOCO
2002
Springer
15 years 2 days ago
Content-based audio classification and retrieval using a fuzzy logic system: towards multimedia search engines
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
Mingchun Liu, Chunru Wan, Lipo Wang