Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
parallel reduction » parallel reductions, parallel deduction, parallel production
functionality code » functionality cloud, functionality lower, functional code
reduction program » reduction programs, education program, education programs
code https » care https, body https, models https
program functionality » protein functionality, programs functional, supra functionality
parallel reduction » parallel reductions, parallel deduction, parallel production
functionality code » functionality cloud, functionality lower, functional code
reduction program » reduction programs, education program, education programs
code https » care https, body https, models https
1
Publicado 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2006
Table of Contents:
“... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Ligazón do recurso
Electrónico
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“... Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“... Processors and Application Parallelization -- Compilation Strategies for Reducing Code Size on a VLIW...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- 4
- Seguinte »
- [4]