2974 search results - page 571 / 595 » Model-Driven Constraint Programming |
182
click to vote
ICALP
2009
Springer
16 years 21 days ago
2009
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dualobjective scheduling problems, where the operating...
146
click to vote
TACAS
2009
Springer
16 years 20 days ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
162
click to vote
FOCS
2009
IEEE
16 years 19 days ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
160
click to vote
EMSOFT
2009
Springer
16 years 14 days ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
197
click to vote
KSEM
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Support Vector Machines (SVM) have been applied successfully in a wide variety of fields in the last decade. The SVM problem is formulated as a convex objective function...