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