1
Publicado 2008
Table of Contents: ...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...
Ligazón do recurso
Electrónico eBook
3
Publicado 2014
Table of Contents: ... and Chemical Networks -- Speed Faults in Computation by Chemical Reaction Networks -- Fault-Tolerant ANTS...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ...: Computability Meets Fractal Geometry -- Accepting Networks of Splicing Processors -- Hilbert’s Tenth Problem...
Ligazón do recurso
Electrónico eBook
7
Publicado 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Ligazón do recurso
Electrónico eBook
10
Publicado 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ... Regular Expressions in FPGAs -- Scientific Applications -- A Custom Processor for a TDMA Solver in a CFD...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Ligazón do recurso
Electrónico eBook
16
Publicado 2006
Table of Contents: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ...Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP...
Ligazón do recurso
Electrónico eBook
18
Publicado 2007
Table of Contents: ..., Effectiveness and Domains -- Internal Computability -- Post’s Problem for Ordinal Register Machines -- Unique...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
Ligazón do recurso
Electrónico eBook
20
Publicado 2005
Table of Contents: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Ligazón do recurso
Electrónico eBook