1
Publicat 2015
Taula de continguts: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ...-Bounded Buffers -- Transporting Jobs through a Processing Center with Two Parallel Machines....
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ...Keynotes -- Reconfigurable Platform for Digital Convergence Terminals -- European Research...
Obtenir text complet
Electrònic eBook