12 search results - page 3 / 3 » The Second QBF Solvers Comparative Evaluation |
161
click to vote
EMSOFT
2009
Springer
16 years 18 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...
175
Voted
CP
2001
Springer
15 years 10 months ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...