1
Pubblicazione 2005
Sommario: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Testo
Elettronico eBook
2
Sommario: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Testo
Elettronico eBook
8
Pubblicazione 2005
Sommario: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Testo
Elettronico eBook
9
Pubblicazione 2006
Sommario: ... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...
Testo
Elettronico eBook
11
Pubblicazione 2011
Sommario: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Testo
Elettronico eBook
12
Pubblicazione 2007
Sommario: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Testo
Elettronico eBook
13
Pubblicazione 2007
Sommario: ... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...
Testo
Elettronico eBook
14
Pubblicazione 2007
Sommario: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
Testo
Elettronico eBook
15
Pubblicazione 2006
Sommario: ... Analysis -- Use of SystemC Modelling in Creation and Use of an SOC Platform: Experiences and Lessons Learnt...
Testo
Elettronico eBook
16
Pubblicazione 2011
Sommario: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
Testo
Elettronico eBook
17
Pubblicazione 2015
Sommario: ... Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems...
Testo
Elettronico eBook
18
Pubblicazione 2010
Sommario: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
Testo
Elettronico eBook
20
Pubblicazione 2014
Sommario: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Testo
Elettronico eBook