1
Udgivet 2010
Indholdsfortegnelse: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...
Få fuldtekst
Electronisk eBog
7
Udgivet 2008
Indholdsfortegnelse: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Få fuldtekst
Electronisk eBog
8
Udgivet 2012
Indholdsfortegnelse: ...-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...
Få fuldtekst
Electronisk eBog
13
Udgivet 2015
Indholdsfortegnelse: ... Computing -- 32. Design of Neural Network Model for Emotional Speech Recognition -- 33. Intelligent Decision...
Få fuldtekst
Electronisk eBog
14
Udgivet 2006
Indholdsfortegnelse: ... for the Dual Wireless Ad Hoc Sensor Network -- ADIAN: A Distributed Intelligent Ad-Hoc Network -- A Mobility...
Få fuldtekst
Electronisk eBog
15
Udgivet 2006
Indholdsfortegnelse: ... -- Scientific Computing Applications on the Imagine Stream Processor -- Enhancing Last-Level Cache Performance...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Få fuldtekst
Electronisk eBog
17
Indholdsfortegnelse: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
Få fuldtekst
Electronisk eBog
18
Udgivet 2005
Indholdsfortegnelse: ... Network -- Computerized Adaptive Tests and Item Response Theory on a Distance Education Platform...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
Få fuldtekst
Electronisk eBog