Sciweavers

3444 search results - page 177 / 689
» A Theory of Object-Oriented Design
Sort
View
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
15 years 7 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
160
Voted
GECCO
2008
Springer
152views Optimization» more  GECCO 2008»
15 years 7 months ago
Designing EDAs by using the elitist convergent EDA concept and the boltzmann distribution
This paper presents a theoretical definition for designing EDAs called Elitist Convergent Estimation of Distribution Algorithm (ECEDA), and a practical implementation: the Boltzm...
Sergio Ivvan Valdez Peña, Arturo Hern&aacut...
JCT
2010
112views more  JCT 2010»
15 years 4 months ago
More on block intersection polynomials and new applications to graphs and block designs
The concept of intersection numbers of order r for t-designs is generalized to graphs and to block designs which are not necessarily t-designs. These intersection numbers satisfy ...
Leonard H. Soicher
WWW
2005
ACM
16 years 7 months ago
Design and implementation of a feedback controller for slowdown differentiation on internet servers
Proportional slowdown differentiation (PSD) aims to maintain slowdown ratios between different classes of clients according to their pre-specified differentiation parameters. In t...
Jianbin Wei, Cheng-Zhong Xu
CHI
2004
ACM
16 years 6 months ago
Remarkable computing: the challenge of designing for the home
The vision of ubiquitous computing is floating into the domain of the household, despite arguments that lessons from design of workplace artefacts cannot be blindly transferred in...
Marianne Graves Petersen