1
Publicat 2013
Taula de continguts: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Locality Approximation -- P-OPT: Program-Directed Optimal Cache Management -- Compiler-Driven Dependence...
Obtenir text complet
Electrònic eBook