462 search results - page 77 / 93 » Symbolic Bounded Synthesis |
117
click to vote
TCAD
2008
15 years 1 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...
137
click to vote
APN
2009
Springer
15 years 8 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
111
Voted
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Despite a rapid decrease in the price of solid state memory devices, system memory is still a very precious resource in embedded systems. The use of shared libraries is known to b...
155
Voted
TIT
2010
14 years 8 months ago
2010
Motivated by a recent surge of interest in convex optimization techniques, convexity/concavity properties of error rates of the maximum likelihood detector operating in the AWGN ch...
118
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...