936 search results - page 112 / 188 » The Synthesis Problem of Netcharts |
109
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
156
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
142
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
149
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
113
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...