Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality combining » functions combining, function combining, functionality domain
program functionality » protein functionality, programs functional, supra functionality
computing program » comparing programs, computing progress, computer program
combining https » computing https, combining hst, combining bottom
functionality combining » functions combining, function combining, functionality domain
program functionality » protein functionality, programs functional, supra functionality
computing program » comparing programs, computing progress, computer program
combining https » computing https, combining hst, combining bottom
1
Publicat 2006
Taula de continguts:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”Obtenir text complet
Electrònic
eBook
6
Publicat 2013
Taula de continguts:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Obtenir text complet
Electrònic
eBook
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Obtenir text complet
Electrònic
eBook
16
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
17
Publicat 2013
Taula de continguts:
“... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”Obtenir text complet
Electrònic
eBook
18
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Obtenir text complet
Electrònic
eBook
20
Publicat 2007
Taula de continguts:
“... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...”Obtenir text complet
Electrònic
eBook