1329 search results - page 94 / 266 » Constraint-based model synthesis |
132
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
115
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
251
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
116
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
118
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
— In this paper, we consider the thermal placement problem for gate arrays. We introduce a new combinatorial optimization problem, matrix synthesis problem (MSP), to model the th...