3825 search results - page 487 / 765 » More on pooling spaces |
160
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
As the technology progresses, interconnect delays have become bottlenecks of chip performance. Three dimensional (3D) integrated circuits are proposed as one way to address this p...
186
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
201
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...
184
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
188
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...