Sciweavers

2749 search results - page 443 / 550
» Manufacturing-Aware Physical Design
Sort
View
DAC
2008
ACM
14 years 10 months ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
CHI
2006
ACM
14 years 9 months ago
Tabletop sharing of digital photographs for the elderly
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...
Trent Apted, Judy Kay, Aaron J. Quigley
CHI
2005
ACM
14 years 9 months ago
ECHOES: encouraging companionship, home organization, and entertainment in seniors
The ECHOES project (Encouraging Companionship, Home Organization, and Entertainment in Seniors), is focused on understanding and improving aspects of companionship in senior popul...
Justin Donaldson, Joshua Evnin, Sidharth Saxena
DATE
2008
IEEE
145views Hardware» more  DATE 2008»
14 years 3 months ago
Minimizing Virtual Channel Buffer for Routers in On-chip Communication Architectures
We present a novel methodology for design space exploration using a two-steps scheme to optimize the number of virtual channel buffers (buffers take the premier share of the route...
Mohammad Abdullah Al Faruque, Jörg Henkel
INFOCOM
2006
IEEE
14 years 3 months ago
Complexity of Wavelength Assignment in Optical Network Optimization
— We study the complexity of a spectrum of design problems for optical networks in order to carry a set of demands. Under wavelength division multiplexing (WDM) technology, deman...
Matthew Andrews, Lisa Zhang