1
Published 2006
Table of Contents: ... -- Model-Based Analysis of a Windmill Communication System -- Pre-Runtime Scheduling Considering Timing...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... at Runtime with QEA -- Parallel Explicit Model Checking for Generalized Bchi Automata -- Limit Deterministic...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Functions, Clustering Algorithms and Microarray Data Analysis -- Gaussian Process Assisted Particle Swarm...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Processes in Porous Media -- Peridot: Towards Automated Runtime Detection of Performance Bottlenecks...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... of Reconfigurable Hardware for Accelerated Parallel Processing -- Routing-Aware Application Mapping Considering...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... of generalized Ornstein-Uhlenbeck processes: the Gaussian case -- An approach to controlling the runtime...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook