Sciweavers

1597 search results - page 138 / 320
» A Design Method for Object-Oriented Programming
Sort
View
CCECE
2006
IEEE
15 years 9 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
GECCO
2010
Springer
129views Optimization» more  GECCO 2010»
15 years 8 months ago
A probabilistic functional crossover operator for genetic programming
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
Josh C. Bongard
DLS
2005
101views Languages» more  DLS 2005»
15 years 5 months ago
Flexible object encapsulation for ambient-oriented programming
In the emerging field of Ambient Intelligence (AmI), software is deployed in wireless open networks of mobile devices. Such open networks require stringent security measures as u...
Wolfgang De Meuter, Éric Tanter, Stijn Most...
ICCAD
1993
IEEE
101views Hardware» more  ICCAD 1993»
15 years 7 months ago
Convexity-based algorithms for design centering
A new technique for design centering, and for polytope approximation of the feasible region for a design are presented. In the rst phase, the feasible region is approximated by a ...
Sachin S. Sapatnekar, Pravin M. Vaidya, Steve M. K...
COMPUTING
2004
108views more  COMPUTING 2004»
15 years 2 months ago
Fairness Criteria for Algebraic Curves
We develop methods for the variational design of algebraic curves. Our approach is based on truly geometric fairness criteria, such as the elastic bending energy. In addition, we ...
Pavel Chalmovianský, Bert Jüttler