1974 search results - page 105 / 395 » Conditional Purchase Orders |
127
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Current Genetic Algorithms can efficiently address order-k separable problems, in which the order of the linkage is restricted to a low value k. Outside this class, there exist hie...
134
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
144
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...
131
click to vote
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
156
click to vote
ALP
1997
Springer
15 years 8 months ago
1997
Springer
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...