2214 search results - page 287 / 443 » complexity 2004 |
140
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
118
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
132
click to vote
ASSETS
2004
ACM
15 years 10 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
143
click to vote
CF
2004
ACM
15 years 10 months ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
136
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...