We have introduced fast and eeective k-way partitioning solutions for the two regimes k n and k = (n). Our contributions include a new \partitioning-speciic" net model used in constructing the Laplacian of the netlist, the use of fast Lanczos implementations to compute the d-dimensional geometric embedding eeciently, and a careful choice of geometric clustering objectives and algorithms. We bel...

The construction of R, the process encapsulating the timing information, is not as eecient as it could be. Any method for making timing veriication more eecient, such as partial order reductions, could in principle be incorporated into our current scheme. We believe that our work will be useful in applications such as asynchronous circuits and hardware software co-design, where abstract descrip...

The objective of this study was to develop a stream prioritization tool that evaluates stream reaches in terms of the potential water quality improvements that could be achieved through restoration versus practical constraints to project implementation. This study is inextricably linked to the countywide stream assessment and Reynolds study conducted prior to this project. The first two section...

A new declarative semantics for logic languages. In R. Optimizations of bottom-up evaluation with non-ground terms. In Miller 15], pages 557{574. 19 orthogonal to the type of program to which memoing is applied. With some care, they can be used in the context of full Prolog, speciied as we have suggested by a programmer controlled directive. The practicality of the special case of ground, multi...