Sciweavers

401 search results - page 65 / 81
» Synthesis from Component Libraries
Sort
View
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
14 years 21 days ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
TC
2008
13 years 9 months ago
Elliptic-Curve-Based Security Processor for RFID
RFID (Radio Frequency IDentification) tags need to include security functions, yet at the same time their resources are extremely limited. Moreover, to provide privacy, authenticat...
Yong Ki Lee, Kazuo Sakiyama, Lejla Batina, Ingrid ...
JVCA
2002
157views more  JVCA 2002»
13 years 8 months ago
Realistic face animation for speech
We propose an efficient system for realistic speech animation. The system supports all steps of the animation pipeline, from the capture or design of 3D head models up to the synth...
Gregor A. Kalberer, Luc J. Van Gool
DATE
2005
IEEE
152views Hardware» more  DATE 2005»
14 years 2 months ago
Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
Fei Su, Krishnendu Chakrabarty
CASCON
1992
163views Education» more  CASCON 1992»
13 years 10 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla