Sciweavers

3792 search results - page 469 / 759
» Techniques for Trusted Software Engineering
Sort
View
AVI
2008
15 years 9 months ago
SparTag.us: a low cost tagging system for foraging of web content
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
Lichan Hong, Ed Huai-hsin Chi, Raluca Budiu, Peter...
164
Voted
C3S2E
2008
ACM
15 years 8 months ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger
CODES
2008
IEEE
15 years 8 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
AVI
2010
15 years 8 months ago
Exploring the design space of multiscale 3D orientation
Recently, research in 3D computer graphics and interaction has started to move beyond the narrow domain of single object authoring and inspection, and has begun to consider comple...
James McCrae, Michael Glueck, Tovi Grossman, Azam ...
AVI
2010
15 years 8 months ago
Tracing genealogical data with TimeNets
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...
Nam Wook Kim, Stuart K. Card, Jeffrey Heer