Sciweavers

2746 search results - page 178 / 550
» Case Study in Survivable Network System Analysis
Sort
View
IWPSE
2007
IEEE
15 years 12 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
183
Voted
HOTNETS
2010
15 years 14 days ago
Next generation on-chip networks: what kind of congestion control do we need?
In this paper, we present network-on-chip (NoC) design and contrast it to traditional network design, highlighting core differences between NoCs and traditional networks. As an in...
George Nychis, Chris Fallin, Thomas Moscibroda, On...
DSN
2004
IEEE
15 years 9 months ago
Does Your Result Checker Really Check?
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
159
Voted
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 4 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...
ISSRE
2003
IEEE
15 years 11 months ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min