1
Publicado em 2013
Sumário: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ... by Reconfigurable Computing -- Evolutionary Design of Resilient Substitution Boxes: From Coding to Hardware...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Sumário: ..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... Accelerated Vision System -- Systemic Computation Using Graphics Processors -- Session 4: Implementations...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Moller, Faron., Moller, Faron., Struth, Georg.
Publicado em 2013
Sumário: ...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ... System -- Evolution of Synaptic Delay Based Neural Controllers for Implementing Central Pattern...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ... Regression Approach -- Independent Component Analysis-Based Classification of Alzheimer’s Disease from...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2013
Sumário: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
Obter o texto integral
Recurso Electrónico livro electrónico