1569 search results - page 60 / 314 » Automated Design Improvement by Example |
SAFECOMP
2001
Springer
14 years 5 days ago
2001
Springer
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
PEPM
1998
ACM
13 years 12 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
Custom design, in which the designer controls the physical structure of the chip, can greatly improve the speed, power, and delay of an ASIC chip without affecting design time. Th...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...