Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
Sergio Antoy, Michael Hanus, Bart Massey, Frank St...
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
Binu K. Mathew, Sally A. McKee, John B. Carter, Al...
This paper presents a layout generation tool that aims to reduce the gap between electrical sizing and physical realization of high performance analog circuits. The procedural lay...
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...