Sciweavers

1019 search results - page 173 / 204
» Computer Aided Ferret Design
Sort
View
ISPD
2003
ACM
89views Hardware» more  ISPD 2003»
14 years 19 days ago
Local unidirectional bias for smooth cutsize-delay tradeoff in performance-driven bipartitioning
Traditional multilevel partitioning approaches have shown good performance with respect to cutsize, but offer no guarantees with respect to system performance. Timing-driven part...
Andrew B. Kahng, Xu Xu
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 19 days ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
DIGITALCITIES
2003
Springer
14 years 19 days ago
Visualizing Social Patterns in Virtual Environments on a Local and Global Scale
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...
Katy Börner, Shashikant Penumarthy, Bonnie Je...
FPGA
2003
ACM
123views FPGA» more  FPGA 2003»
14 years 18 days ago
Wire type assignment for FPGA routing
The routing channels of an FPGA consist of wire segments of various types providing the tradeoff between performance and routability. In the routing architectures of recently dev...
Seokjin Lee, Hua Xiang, D. F. Wong, Richard Y. Sun
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
14 years 18 days ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy