Sciweavers

1938 search results - page 80 / 388
» Dependable Software
Sort
View
158
Voted
ICDCS
1997
IEEE
15 years 6 months ago
Multi-threading and Remote Latency in Software DSMs
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
Kritchalach Thitikamol, Peter J. Keleher
WCRE
2002
IEEE
15 years 7 months ago
Knowledge-Based Library Re-Factoring for an Open Source Project
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
Massimiliano Di Penta, Markus Neteler, Giuliano An...
124
Voted
ERSHOV
2006
Springer
15 years 6 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
119
Voted
SPLC
2008
15 years 4 months ago
Visualizing Software Product Line Variabilities in Source Code
Implementing software product lines is a challenging task. Depending on the implementation technique the code that realizes a feature is often scattered across multiple code units...
Christian Kästner, Salvador Trujillo, Sven Ap...
ASWEC
2000
IEEE
15 years 7 months ago
Software Evolution in Componentware-A Practical Approach
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
Andreas Rausch