Sciweavers

1327 search results - page 112 / 266
» Citing for high impact
Sort
View
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 10 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 10 months ago
Thermal and Power Integrity Based Power/Ground Networks Optimization
With the increasing power density and heat-dissipation cost of modern VLSI designs, thermal and power integrity has become serious concern. Although the impacts of thermal effects...
Ting-Yuan Wang, Jeng-Liang Tsai, Charlie Chung-Pin...
SC
1995
ACM
15 years 10 months ago
I/O Limitations in Parallel Molecular Dynamics
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...
Terry W. Clark, L. Ridgway Scott, Stanislaw Wloked...
AAAI
2008
15 years 8 months ago
A Demonstration of the RADAR Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this purpos...
Andrew Faulring, Brad A. Myers, Ken Mohnkern, Mich...
WSC
2007
15 years 8 months ago
A comparison of scheduling approaches for a make-to-order electronics manufacturer
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...
Susan K. Heath, Douglas J. Morrice