Sciweavers

1898 search results - page 275 / 380
» Weak Keys for IDEA
Sort
View
NSDI
2008
14 years 10 days ago
cSamp: A System for Network-Wide Flow Monitoring
Critical network management applications increasingly demand fine-grained flow level measurements. However, current flow monitoring solutions are inadequate for many of these appl...
Vyas Sekar, Michael K. Reiter, Walter Willinger, H...
USENIX
2008
14 years 10 days ago
Context-Aware Mechanisms for Reducing Interactive Delays of Energy Management in Disks
Aggressive energy conserving mechanisms can maximize energy efficiency, but often have the negative tradeoff of simultaneously reducing system responsiveness due to the switching ...
Igor Crk, Chris Gniady
DFT
2005
IEEE
132views VLSI» more  DFT 2005»
13 years 12 months ago
Low Power BIST Based on Scan Partitioning
A built-in self-test (BIST) scheme is presented which both reduces overhead for detecting random-pattern-resistant (r.p.r.) faults as well as reduces power consumption during test...
Jinkyu Lee, Nur A. Touba
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
13 years 12 months ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
ER
2008
Springer
90views Database» more  ER 2008»
13 years 11 months ago
A Domain Engineering Approach for Situational Method Engineering
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
Anat Aharoni, Iris Reinhartz-Berger