761 search results - page 97 / 153 » The art of multiprocessor programming |
143
click to vote
CP
2005
Springer
15 years 5 months ago
2005
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
EPIA
2009
Springer
15 years 6 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
120
click to vote
MHCI
2009
Springer
15 years 6 months ago
2009
Springer
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...
129
click to vote
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
ARTS
1997
Springer
15 years 3 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...