4126 search results - page 206 / 826 » Set based logic programming |
115
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
165
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
104
Voted
OORASE
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
126
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
124
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...