4359 search results - page 285 / 872 » Automated Pipeline Design |
163
click to vote
CL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
175
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
161
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Exponential increases in architectural design complexity threaten to make traditional processor design optimization techniques intractable. Genetically programmed response surface...
172
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
156
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper, we study the full-chp interconnect power modeling. ,We show that repeater,insertion is no longer sufficient to achievethe targetfrequencies specifiedhy ITRS, and de...