Sciweavers

1411 search results - page 66 / 283
» Case Studies of an Insider Framework
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
14 years 25 days ago
AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...
Lin Huang, Qiang Xu
HPDC
2000
IEEE
14 years 4 days ago
An Enabling Framework for Master-Worker Applications on the Computational Grid
We describe MW – a software framework that allows users to quickly and easily parallelize scientific computations using the master-worker paradigm on the computationalgrid. MW ...
Jean-Pierre Goux, Sanjeev Kulkarni, Jeff Linderoth...
WER
1999
Springer
13 years 12 months ago
Activity Theory: a Framework to Software Requirements Elicitation
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
Luiz Eduardo Galvão Martins, Beatriz Mascia...
DSN
2004
IEEE
13 years 11 months ago
A Framework for Evaluating Storage System Dependability
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
Kimberly Keeton, Arif Merchant
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 7 months ago
A General Framework for Sound and Complete Floyd-Hoare Logics
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paul...