Sciweavers

1940 search results - page 70 / 388
» Dependable Software: An Oxymoron
Sort
View
IEEEPACT
2006
IEEE
14 years 2 months ago
An empirical evaluation of chains of recurrences for array dependence testing
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
Johnnie Birch, Robert A. van Engelen, Kyle A. Gall...
SRDS
1998
IEEE
14 years 1 months ago
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
Michel Cukier, Jennifer Ren, Chetan Sabnis, David ...
SPLC
2004
13 years 10 months ago
COVAMOF: A Framework for Modeling Variability in Software Product Families
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
SIGSOFT
2010
ACM
13 years 6 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
INFSOF
2006
159views more  INFSOF 2006»
13 years 8 months ago
Essential communication practices for Extreme Programming in a global software development team
We conducted an industrial case study of a distributed team in the USA and the Czech Republic that used Extreme Programming. Our goal was to understand how this globally-distribut...
Lucas Layman, Laurie Williams, Daniela Damian, Hyn...