21 search results - page 4 / 5 » Rational Synthesis |
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
SIGPRO
2002
13 years 7 months ago
2002
With the advancement of computer graphics in the recent years, an increasing number of pictures, video and 3D content is generated by synthesis processing rather than acquired wit...
JBCS
2010
13 years 6 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...