218 search results - page 17 / 44 » A Multi-level Approach to Program Synthesis |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...
JAR
2008
13 years 7 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
BIRTHDAY
1999
Springer
14 years 2 hour ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...