1329 search results - page 108 / 266 » Constraint-based model synthesis |
144
Voted
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
112
click to vote
TOPNOC
2008
15 years 4 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
156
click to vote
SCP
2010
15 years 2 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
172
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Facial expression plays an important role in face to face communication in that it conveys nonverbal information and emotional intent beyond speech. In this paper, an approach for ...
142
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...