Sciweavers

412 search results - page 7 / 83
» RATSY - A New Requirements Analysis Tool with Synthesis
Sort
View
TCAD
1998
82views more  TCAD 1998»
14 years 11 months ago
Structural methods for the synthesis of speed-independent circuits
Most existing tools for the synthesisof asynchronouscircuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper ...
Enric Pastor, Jordi Cortadella, Alex Kondratyev, O...
ICALT
2003
IEEE
15 years 4 months ago
On Tools for Analysis of Collaborative Problem Solving
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
Nikolaos M. Avouris, Vassilis Komis, Georgios Fiot...
GRAPHITE
2004
ACM
15 years 4 months ago
Statistical synthesis of facial expressions for the portrayal of emotion
This paper presents a novel technique for the generation of ‘video textures’ to display human emotion. This is achieved by a method which uses existing video footage to synthe...
Lisa Gralewski, Neill W. Campbell, Barry T. Thomas...
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
15 years 8 months ago
Guaranteeing performance yield in high-level synthesis
Meeting timing constraint is one of the most important issues for modern design automation tools. This situation is exacerbated with the existence of process variation. Current hi...
Wei-Lun Hung, Xiaoxia Wu, Yuan Xie
ICSE
2003
IEEE-ACM
15 years 11 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan