2607 search results - page 26 / 522 » Complete Functional Synthesis |
123
click to vote
TCAD
2008
15 years 2 months ago
2008
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
111
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
133
click to vote
EURODAC
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper describes the features and design methodology of MIDA, a MPEG1 integrated audio decoder. MIDA has been almost completely designed using automatic synthesis of VHDL desc...
102
click to vote
TCC
2009
Springer
16 years 3 months ago
2009
Springer
Gordon et al. recently showed that certain (non-trivial) functions can be computed with complete fairness in the two-party setting. Motivated by their results, we initiate a study...
113
click to vote
FS
2006
15 years 2 months ago
2006
We prove existence of stochastic financial equilibria on filtered spaces more general than the ones generated by finite-dimensional Brownian motions. These equilibria span complete...