956 search results - page 51 / 192 » Dimensions in program synthesis |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...
ESOP
2003
Springer
14 years 3 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
IEAAIE
1999
Springer
14 years 2 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We determine set-theoretic defining equations for the variety Dualk,d,N P(Sd CN ) of hypersurfaces of degree d in CN that have dual variety of dimension at most k. We apply these ...