1329 search results - page 228 / 266 » Constraint-based model synthesis |
205
click to vote
ASIAMS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
125
Voted
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
Preemption threshold scheduling (PTS) provides prominent benefits for fixed priority scheduling such as increased schedulability, reduced context switches, and decreased memory re...
110
click to vote
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
140
click to vote
AHS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
120
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...