228 search results - page 12 / 46 » Towards computer aided mathematics |
VISUALIZATION
2000
IEEE
14 years 29 days ago
2000
IEEE
Throughout the design cycle, visualization, whether a sketch scribbled on the back of a spare piece of paper or a fully detailed drawing, has been the mainstay of design: we need ...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
AISC
1998
Springer
14 years 25 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Variability of circuit performance is becoming a very important issue for ultra-deep sub-micron technology. Gate length variation has the most direct impact on circuit performance...