1
Published 2015
Table of Contents: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Design -- Manipulating MAXLIVE for Spill-Free Register Allocation -- Optimizing Packet Accesses for a...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ...Lazy and Speculative Execution in Computer Systems -- In Search of the Holy Grail: Looking...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... for Estimating the Execution Time of a Parallel Task on a Grid Node -- Performance of a Parallel Astrophysical N...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Strategies and Implementation for Translating OpenMP Code for Clusters -- Optimizing Array Accesses in High...
View full text
Electronic eBook
15
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Reconfigurable Array: Dataflow Execution with Software Compatibility -- High-Level Synthesis Using SPARK...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...: Cluster Computing -- Performance Modelling and Optimization of Memory Access on Cellular Computer...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...
View full text
Electronic eBook