Rezultaty - parallel run programs functionality function https

1

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

Wydane 2005

Spis treści: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2010

Spis treści: “... for Analyzing Running Times of Parallel Evolutionary Algorithms -- Negative Drift in Populations -- Log...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2015

Spis treści: “... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2014

Spis treści: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2010

Spis treści: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Wydane 2006

Spis treści: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Wydane 2015

Spis treści: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Wydane 2008

Spis treści: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Evolutionary Algorithms for Solving Multi-Objective Problems

od Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Wydane 2007

Spis treści: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Wydane 2013

Spis treści: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Transactions on High-Performance Embedded Architectures and Compilers IV

Wydane 2011

Spis treści: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Wydane 2014

Spis treści: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Wydane 2006

Spis treści: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Wydane 2007

Spis treści: “... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Wydane 2005

Spis treści: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Wydane 2008

Spis treści: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Wydane 2008

Spis treści: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty