Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional operational » composition operational, compositional operations, compositional computational
https compositional » nets compositional, chains compositional, charts compositional
parallel programs » parallel programming
operational https » operational eps, operational data, operational laws
compositional operational » composition operational, compositional operations, compositional computational
https compositional » nets compositional, chains compositional, charts compositional
parallel programs » parallel programming
operational https » operational eps, operational data, operational laws
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 2005
Table of Contents:
“... of Cluster Operating Systems Implementing Sequential and Transactional Consistency -- Clock Synchronization...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
8
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
9
Published 2008
Table of Contents:
“... of Hardware Using Genetic Programming -- Population Parallel GP on the G80 GPU -- Operator Equalisation...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Communication Models -- Programming Multiagent Systems without Programming Agents -- Elements of a...”View full text
Electronic
eBook
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Programming to Generating Detailed Operations Schedules for Steel Manufacturing -- An Efficient Model...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Parallel and Distributed Model Checking in Eddy -- Distributed On-the-Fly Model Checking and Test Case...”View full text
Electronic
eBook
19
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”View full text
Electronic
eBook