1179 search results - page 104 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
124
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
209
click to vote
TASLP
2011
14 years 11 months ago
2011
The time delay of arrival (TDOA) between multiple microphones has been used since 2006 as a source of information (localization) to complement the spectral features for speaker di...
160
click to vote
IJCAI
2003
15 years 5 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
158
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
129
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...