1
Published 2005
Table of Contents: ...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...
View full text
Electronic eBook
2
Published 2011
Table of Contents: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Streams -- Parallel Matrix Transposition and Vector Multiplication Using OpenMP -- Designing Parallel...
View full text
Electronic eBook