Sciweavers

1329 search results - page 220 / 266
» Constraint-based model synthesis
Sort
View
FMICS
2006
Springer
15 years 5 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 5 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
SIGGRAPH
2000
ACM
15 years 5 months ago
Pose space deformation: a unified approach to shape interpolation and skeleton-driven deformation
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...
John P. Lewis, Matt Cordner, Nickson Fong
ICDCS
1995
IEEE
15 years 5 months ago
Analysis of Resource Lower Bounds in Real-Time Applications
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
Raed Alqadi, Parameswaran Ramanathan
LREC
2010
216views Education» more  LREC 2010»
15 years 3 months ago
Efficient Spoken Dialogue Domain Representation and Interpretation
We provide a detailed look on the functioning of the OwlSpeak Spoken Dialogue Manager, which is part of the EU-funded project ATRACO. OwlSpeak interprets Spoken Dialogue Ontologie...
Tobias Heinroth, Dan Denich, Alexander Schmitt, Wo...