462 search results - page 52 / 93 » Symbolic Bounded Synthesis |
116
Voted
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
128
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Importance of addressing soft errors in both safety critical applications and commercial consumer products is increasing, mainly due to ever shrinking geometries, higher-density c...
131
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
— This paper presents a multiple-voltage high-level synthesis methodology for low power DSP applications using algorithmic transformation techniques. Our approach is motivated by...
114
click to vote
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
128
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...