Sciweavers

684 search results - page 92 / 137
» Techniques for Accelerating a Grammar-Checker
Sort
View
CHI
2007
ACM
14 years 11 months ago
Bubbling menus: a selective mechanism for accessing hierarchical drop-down menus
This paper introduces bubbling menus, a new design for cascading drop-down menus. Bubbling menus combine the bubble cursor [10] with directional mouse-gesture techniques to facili...
Theophanis Tsandilas, m. c. schraefel
STOC
2001
ACM
138views Algorithms» more  STOC 2001»
14 years 11 months ago
Fast computation of low rank matrix
Given a matrix A, it is often desirable to find a good approximation to A that has low rank. We introduce a simple technique for accelerating the computation of such approximation...
Dimitris Achlioptas, Frank McSherry
ICSE
2007
IEEE-ACM
14 years 11 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ICCAD
2006
IEEE
155views Hardware» more  ICCAD 2006»
14 years 8 months ago
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li...
ISBI
2009
IEEE
14 years 5 months ago
Multi GPU Implementation of Iterative Tomographic Reconstruction Algorithms
Although iterative reconstruction techniques (IRTs) have been shown to produce images of superior quality over conventional filtered back projection (FBP) based algorithms, the u...
Byunghyun Jang, David R. Kaeli, Synho Do, Homer H....