1
Veröffentlicht 2010
Inhaltsangabe: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2006
Inhaltsangabe: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2005
Inhaltsangabe: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2015
Inhaltsangabe: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2013
Inhaltsangabe: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Volltext
Elektronisch E-Book
11
von Comninos, Peter., Comninos, Peter.
Veröffentlicht 2006
Inhaltsangabe: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2005
Inhaltsangabe: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
Volltext
Elektronisch E-Book
13
von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006
Inhaltsangabe: ... -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2006
Inhaltsangabe: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2007
Inhaltsangabe: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Volltext
Elektronisch E-Book