Sciweavers

5404 search results - page 664 / 1081
» Global Computing for Bioinformatics
Sort
View
ISPD
1999
ACM
106views Hardware» more  ISPD 1999»
15 years 11 months ago
Timing driven maze routing
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...
Sung-Woo Hur, Ashok Jagannathan, John Lillis
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
ICIP
1999
IEEE
15 years 11 months ago
Local Wavelets Decomposition for 3-D Surfaces
We propose a wavelet based local subdivision of 3-D surfaces, which can be effectively applied to a mesh with complex and high curvature faces. The proposed approach is an extensi...
Yun-Sang Kim, Sébastien Valette, Ho-Youl Ju...
ISPD
1998
ACM
88views Hardware» more  ISPD 1998»
15 years 11 months ago
An efficient technique for device and interconnect optimization in deep submicron designs
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
Jason Cong, Lei He
KBSE
1997
IEEE
15 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon