3676 search results - page 605 / 736 » Scalable component abstractions |
108
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
115
click to vote
CIARP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Diversity is a key characteristic to obtain advantages of combining predictors. In this paper, we propose a modification of bagging to explicitly trade off diversity and ...
116
Voted
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
110
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
120
click to vote
FCT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...