Sciweavers

3436 search results - page 161 / 688
» Software Tools for Performance Modeling of Parallel Programs
Sort
View
147
Voted
CLEIEJ
2010
14 years 12 months ago
Mapping Process Capability Models to Support Integrated Software Process Assessments
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
Marcello Thiry, Alessandra Zoucas, Leornardo Trist...
LCR
2000
Springer
172views System Software» more  LCR 2000»
15 years 6 months ago
Achieving Robust, Scalable Cluster I/O in Java
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
Matt Welsh, David E. Culler
ICMT
2009
Springer
15 years 9 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
CPHYSICS
2006
182views more  CPHYSICS 2006»
15 years 2 months ago
MinFinder: Locating all the local minima of a function
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
Ioannis G. Tsoulos, Isaac E. Lagaris
OOPSLA
2010
Springer
15 years 11 days ago
Efficient modular glass box software model checking
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
Michael Roberson, Chandrasekhar Boyapati