Sciweavers

1411 search results - page 66 / 283
» Case Studies of an Insider Framework
Sort
View
83
Voted
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 4 months 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
71
Voted
HPDC
2000
IEEE
15 years 3 months 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...
96
Voted
WER
1999
Springer
15 years 3 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...
76
Voted
DSN
2004
IEEE
15 years 2 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
74
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
14 years 11 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...