3222 search results - page 588 / 645 » A Data Model for Effectively Computable Functions |
ICCAD
2003
IEEE
15 years 3 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
DAC
1998
ACM
15 years 2 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
CIBCB
2005
IEEE
15 years 3 months ago
2005
IEEE
- Establishing structure-function relationships on the proteomic scale is a unique challenge faced by bioinformatics and molecular biosciences. Large protein families represent nat...
EUROGRAPHICS
2010
Eurographics
15 years 6 months ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...