Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program computing » program comparing, programs compiling, problem computing
function strategy » function state, fusion strategy, reaction strategy
https function » its function, sites function, ups function
strategy https » strategy hope
program computing » program comparing, programs compiling, problem computing
function strategy » function state, fusion strategy, reaction strategy
https function » its function, sites function, ups function
strategy https » strategy hope
1
Publicat 2010
Taula de continguts:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“... Modeling Strategies -- Describing, Resampling, Validating and Simplifying the Model -- R Software...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Obtenir text complet
Electrònic
eBook
6
Taula de continguts:
“...Chap. 1 - Introduction -- Chap. 2 - Evolution Strategies -- Chap. 3 - Taxonomy of Evolution...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... Attack Detection Using Genetic Programming -- A Divide & Conquer Strategy for Improving Efficiency...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicat 2007
Taula de continguts:
“... Analysing Linear Inequality Relations -- Precise Fixpoint Computation Through Strategy Iteration -- Semantic...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
17
Publicat 2006
Taula de continguts:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Obtenir text complet
Electrònic
eBook
20
Publicat 2015
Taula de continguts:
“... Verification in Constant Treewidth Graphs -- Counterexample Explanation by Learning Small Strategies in Markov...”Obtenir text complet
Electrònic
eBook