12 search results - page 3 / 3 » The Second QBF Solvers Comparative Evaluation |
EMSOFT
2009
Springer
13 years 11 months 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...
CP
2001
Springer
13 years 9 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...