Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
function stream » functions stream, function real, function strategy
https function » its function, sites function, ups function
stream https » stress https, korea https
program computing » program comparing, programs compiling, problem computing
function stream » functions stream, function real, function strategy
https function » its function, sites function, ups function
stream https » stress https, korea https
1
Publicado 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Ligazón do recurso
Electrónico
eBook
4
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
5
Publicado 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Ligazón do recurso
Electrónico
eBook
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... Reducibilities -- Streaming Algorithms for Some Problems in Log-Space -- Temperature Aware Online Scheduling...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Ligazón do recurso
Electrónico
eBook
14
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado 2005
Table of Contents:
“... -- Streams with a Bottom in Functional Languages -- Bottom-Up ?-Reduction: Uplinks and ?-DAGs -- BI...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2015
Table of Contents:
“... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...”Ligazón do recurso
Electrónico
eBook
18
19
Publicado 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Ligazón do recurso
Electrónico
eBook