Sciweavers

69 search results - page 1 / 14
» Using Scan-Dump Values to Improve Functional-Diagnosis Metho...
Sort
View
VTS
2007
IEEE
100views Hardware» more  VTS 2007»
13 years 10 months ago
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...
Vishnu C. Vimjam, Enamul Amyeen, Ruifeng Guo, Srik...
FC
2010
Springer
191views Cryptology» more  FC 2010»
13 years 8 months ago
Using Sphinx to Improve Onion Routing Circuit Construction
This paper presents compact message formats for onion routing circuit construction using the Sphinx methodology developed for mixes. We significantly compress the circuit constru...
Aniket Kate, Ian Goldberg
SOCIALCOM
2010
13 years 2 months ago
Assessing the Value of Contributions in Tagging Systems
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
Elizeu Santos-Neto, Flavio Figueiredo, Jussara M. ...
ESOP
2006
Springer
13 years 8 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
VISSYM
2007
13 years 7 months ago
See What You Know: Analyzing Data Distribution to Improve Density Map Visualization
Density maps allow for visually rendering density differences, usually mapping density values to a grey or color scale. The paper analyzes the drawbacks arising from the commonly ...
Enrico Bertini, Alessio Di Girolamo, Giuseppe Sant...