1
Published 2014
Table of Contents: ...Five Nodes Are Sufficient for Hybrid Networks of Evolutionary Processors to Be Computationally...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Application -- Chapter 8. Economic Load Dispatch considering non-smooth Cost Functions Using Predator Prey...
View full text
Electronic eBook
12
Published 2014
Subjects: ...Processor Architectures. https://scigraph.springernature.com/ontologies/product-market-codes/I13014...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Failure Predictions -- Distributed Data Mining using a Public Resource Computing Framework -- Integration...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development...
View full text
Electronic eBook
16
by Mrozek, Dariusz., Mrozek, Dariusz.
Published 2014
Table of Contents: ...Formal Model of 3D Protein Structures for Functional Genomics, Comparative Bioinformatics...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...
View full text
Electronic eBook
20
Table of Contents: ...to Functional Verification -- Architecture Specification -- Architecture Specification...
View full text
Electronic eBook