1
Publicado em 2007
Sumário: ... Coalescing -- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2013
Sumário: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... for Real-Time Control -- A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations...
Obter o texto integral
Recurso Electrónico livro electrónico