27274 search results - page 4787 / 5455 » A framework for framework documentation |
195
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
211
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Problems involving high-dimensional data, such as pattern recognition, image analysis, and gene clustering, often require a preliminary step of dimension reduction before or durin...
187
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
227
Voted
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
220
click to vote
SCP
2010
15 years 5 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...