Sciweavers

1999 search results - page 212 / 400
» Finding Reductions Automatically
Sort
View
ESORICS
2009
Springer
16 years 2 months ago
Model-Checking DoS Amplification for VoIP Session Initiation
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
Carl A. Gunter, José Meseguer, Musab AlTurk...
CHI
2007
ACM
16 years 2 months ago
Do life-logging technologies support memory for the past?: an experimental study using sensecam
We report on the results of a study using SenseCam, a "lifelogging" technology in the form of a wearable camera, which aims to capture data about everyday life in order ...
Abigail Sellen, Andrew Fogg, Mike Aitken, Steve Ho...
121
Voted
VLSID
2008
IEEE
128views VLSI» more  VLSID 2008»
16 years 2 months ago
A Novel Approach to Compute Spatial Reuse in the Design of Custom Instructions
In the automatic design of custom instruction set processors, there can be a very large set of potential custom instructions, from which a few instructions are required to be chos...
Nagaraju Pothineni, Anshul Kumar, Kolin Paul
HPCA
2002
IEEE
16 years 2 months ago
Improving Value Communication for Thread-Level Speculation
Thread-Level Speculation (TLS) allows us to automatically parallelize general-purpose programs by supporting parallel execution of threads that might not actually be independent. ...
J. Gregory Steffan, Christopher B. Colohan, Antoni...
VLDB
2007
ACM
137views Database» more  VLDB 2007»
16 years 1 months ago
Improving Data Quality: Consistency and Accuracy
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
Gao Cong, Wenfei Fan, Floris Geerts, Xibei Jia, Sh...