3616 search results - page 400 / 724 » Conditional Memory Ordering |
126
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
Crossover operators that preserve common components can also preserve representation level constraints. Consequently, these constraints can be used to beneficially reduce the sea...
137
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
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...
125
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
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...
143
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
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...
135
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...