1054 search results - page 113 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
157
click to vote
CONSTRAINTS
2011
14 years 11 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
117
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
344
click to vote
DAC
2012
ACM
13 years 6 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
131
click to vote
COLING
2002
15 years 3 months ago
2002
The MT system described in this paper combines hand-built analysis and generation components with automatically learned example-based transfer patterns. Up to now, the transfer co...
136
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...