Sciweavers

1863 search results - page 169 / 373
» Load-Reuse Analysis: Design and Evaluation
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 18 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CCGRID
2006
IEEE
16 years 15 days ago
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santia...
ITCC
2005
IEEE
16 years 11 hour ago
On the Masking Countermeasure and Higher-Order Power Analysis Attacks
Abstract— Masking is a general method used to thwart Differential Power Analysis, in which all the intermediate data inside an implementation are XORed with random Boolean values...
François-Xavier Standaert, Eric Peeters, Je...
HASE
2008
IEEE
16 years 27 days ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
LCPC
2007
Springer
16 years 17 days ago
Using ZBDDs in Points-to Analysis
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
Ondrej Lhoták, Stephen Curial, José ...