Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
parallel construction » wall construction
construction program » instruction program, conservation program, construction problem
function functional » functions functional, fractional functional, nutrition functional
program function » programme function, programs functional, program foundation
functional https » functions https, function https, functional hop
parallel construction » wall construction
construction program » instruction program, conservation program, construction problem
function functional » functions functional, fractional functional, nutrition functional
program function » programme function, programs functional, program foundation
functional https » functions https, function https, functional hop
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Obtenir text complet
Electrònic
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
12
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
14
Publicat 2006
Taula de continguts:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Obtenir text complet
Electrònic
eBook
15
per Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicat 2011
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publicat 2011
Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Obtenir text complet
Electrònic
eBook
17
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
18
Publicat 2008
Taula de continguts:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Obtenir text complet
Electrònic
eBook
19
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
20
Publicat 2014
Taula de continguts:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Obtenir text complet
Electrònic
eBook