Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
parallel evaluating » parallel evaluation, parallel valuation, partially evaluating
evaluating program » evaluating programs, evaluating programme, evaluation program
setting https » being https, writing https, feeding https
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
parallel evaluating » parallel evaluation, parallel valuation, partially evaluating
evaluating program » evaluating programs, evaluating programme, evaluation program
setting https » being https, writing https, feeding https
1
Publicat 2006
Taula de continguts:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Obtenir text complet
Electrònic
eBook
5
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
6
Publicat 2005
Taula de continguts:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”Obtenir text complet
Electrònic
eBook
12
Publicat 2014
Taula de continguts:
“... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Obtenir text complet
Electrònic
eBook
14
Publicat 2015
Taula de continguts:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... for Parallel Modified PrefixSpan with Distributed Worker Paradigm and Its Performance Evaluation -- Performance...”Obtenir text complet
Electrònic
eBook
18
per Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicat 2007
Taula de continguts:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Publicat 2007
Obtenir text complet
Electrònic
eBook
19
Publicat 2012
Taula de continguts:
“... with Trigonometric Polynomial Local Functions.-Triangular Beta-Function B-Spline Finite Elements: Evaluation...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Obtenir text complet
Electrònic
eBook