Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming functional » programming vocational, programs functional, programming foundations
functional function » functionals function, functional functions, function function
binary programming » binary programs, array programming, easy programming
parallel binary » parallel boundary, parallel library, parallel vary
function https » functions https, fiction https
programming functional » programming vocational, programs functional, programming foundations
functional function » functionals function, functional functions, function function
binary programming » binary programs, array programming, easy programming
parallel binary » parallel boundary, parallel library, parallel vary
function https » functions https, fiction https
1
Publicat 2010
Taula de continguts:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Obtenir text complet
Electrònic
eBook
3
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
4
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
6
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
7
Publicat 2005
Taula de continguts:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Obtenir text complet
Electrònic
eBook