Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programming » parallel processing
function automation » function automatic, function estimation, function annotation
programming https » programming http, programming hands, programming hints
https function » its function, sites function, ups function
parallel programming » parallel processing
function automation » function automatic, function estimation, function annotation
programming https » programming http, programming hands, programming hints
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
11
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook