Hakutulokset - parallel programs https functions composition https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”
Hae kokoteksti

Elektroninen E-kirja

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Hae kokoteksti

Elektroninen E-kirja

3

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Julkaistu 2013

Sisällysluettelo: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Hae kokoteksti

Elektroninen E-kirja

4

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Julkaistu 2010

Sisällysluettelo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Hae kokoteksti

Elektroninen E-kirja

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Julkaistu 2005

Sisällysluettelo: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Hae kokoteksti

Elektroninen E-kirja

6

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hae kokoteksti

Elektroninen E-kirja

7

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
Hae kokoteksti

Elektroninen E-kirja

8

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”
Hae kokoteksti

Elektroninen E-kirja

9

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Julkaistu 2015

Sisällysluettelo: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Hae kokoteksti

Elektroninen E-kirja

10

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Hae kokoteksti

Elektroninen E-kirja

11

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Julkaistu 2014

Sisällysluettelo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Hae kokoteksti

Elektroninen E-kirja

12

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Hae kokoteksti

Elektroninen E-kirja

13

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Hae kokoteksti

Elektroninen E-kirja

14

Software Engineering 2 Specification of Systems and Languages /

Tekijä Bjørner, Dines., Bjørner, Dines.
Julkaistu 2006

Sisällysluettelo: “...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Hae kokoteksti

Elektroninen E-kirja

15

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”
Hae kokoteksti

Elektroninen E-kirja

16

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Hae kokoteksti

Elektroninen E-kirja

17

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Hae kokoteksti

Elektroninen E-kirja

18

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Hae kokoteksti

Elektroninen E-kirja

19

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Hae kokoteksti

Elektroninen E-kirja

20

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Julkaistu 2014

Sisällysluettelo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua