Sciweavers

11200 search results - page 1873 / 2240
» An Object-oriented Optimization System
Sort
View
DAC
2000
ACM
16 years 4 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
124
Voted
DAC
2001
ACM
16 years 4 months ago
Performance-Driven Multi-Level Clustering with Application to Hierarchical FPGA Mapping
In this paper, we study the problem of performance-driven multi-level circuit clustering with application to hierarchical FPGA designs. We first show that the performance-driven m...
Jason Cong, Michail Romesis
DAC
2002
ACM
16 years 4 months ago
A fast on-chip profiler memory
Profiling an application executing on a microprocessor is part of the solution to numerous software and hardware optimization and design automation problems. Most current profilin...
Roman L. Lysecky, Susan Cotterell, Frank Vahid
DAC
2002
ACM
16 years 4 months ago
Watermarking integer linear programming solutions
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
Seapahn Megerian, Milenko Drinic, Miodrag Potkonja...
127
Voted
MICCAI
2004
Springer
16 years 4 months ago
: Multi-subject Registration for Unbiased Statistical Atlas Construction
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
Mathieu De Craene, Aloys du Bois d'Aische, Beno&ic...
« Prev « First page 1873 / 2240 Last » Next »