Sciweavers

3792 search results - page 696 / 759
» Techniques for Trusted Software Engineering
Sort
View
DAC
2008
ACM
16 years 1 months ago
Path smoothing via discrete optimization
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
Michael D. Moffitt, David A. Papa, Zhuo Li, Charle...
WWW
2005
ACM
16 years 1 months ago
Web page marker: a web browsing support system based on marking and anchoring
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...
Takahiro Koga, Noriharu Tashiro, Tadachika Ozono, ...
WWW
2004
ACM
16 years 1 months ago
On a web browsing support system with 3d visualization
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...
Toshihiro Yamaguchi, Hiromitsu Hattori, Takayuki I...
SIGCSE
2009
ACM
119views Education» more  SIGCSE 2009»
16 years 1 months ago
Implications of integrating test-driven development into CS1/CS2 curricula
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
Chetan Desai, David S. Janzen, John Clements
CHI
2008
ACM
16 years 28 days ago
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...
James Lin, James A. Landay