Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel compositional » parallel composition, parallel computational, parallel decomposition
compositional program » composition programs, computational program, compositional problems
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
parallel compositional » parallel composition, parallel computational, parallel decomposition
compositional program » composition programs, computational program, compositional problems
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...”View full text
Electronic
eBook