716 search results - page 23 / 144 » Semilinear Program Feasibility |
PADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
65
Voted
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
CPAIOR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
76
Voted
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...