5707 search results - page 12 / 1142 » Symbolic Simulation - Techniques and Applications |
MOC
2002
13 years 7 months ago
2002
SAC
2008
ACM
13 years 7 months ago
2008
ACM
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
GREC
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...