Sciweavers

1974 search results - page 183 / 395
» Conditional Purchase Orders
Sort
View
GECCO
1999
Springer
126views Optimization» more  GECCO 1999»
15 years 9 months ago
Improving Genetic Algorithms by Search Space Reductions (with Applications to Flow Shop Scheduling)
Crossover operators that preserve common components can also preserve representation level constraints. Consequently, these constraints can be used to beneficially reduce the sea...
Stephen Y. Chen, Stephen F. Smith
150
Voted
DAC
1998
ACM
15 years 9 months ago
Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
Tuyen V. Nguyen, Anirudh Devgan, Ognen J. Nastov
SIGSOFT
1998
ACM
15 years 9 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
154
Voted
KBSE
1997
IEEE
15 years 9 months ago
A Formal Automated Approach for Reverse Engineering Programs with Pointers
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
Gerald C. Gannod, Betty H. C. Cheng
CSCW
1996
ACM
15 years 9 months ago
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzen...