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