34 search results - page 1 / 7 » Industrial Applications of Software Synthesis via Category T... |
KBSE
1999
IEEE
13 years 8 months ago
1999
IEEE
POPL
2007
ACM
14 years 4 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
CODES
2010
IEEE
13 years 1 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...