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