Výsledky vyhledávání - parallelized programs part function function https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Získat plný text

Elektronický zdroj E-kniha

2

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

Vydáno 2010

Obsah: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Získat plný text

Elektronický zdroj E-kniha

3

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

Vydáno 2010

Obsah: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Získat plný text

Elektronický zdroj E-kniha

4

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

Vydáno 2010

Obsah: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Získat plný text

Elektronický zdroj E-kniha

5

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

Vydáno 2010

Obsah: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Získat plný text

Elektronický zdroj E-kniha

6

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Vydáno 2014

Obsah: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Získat plný text

Elektronický zdroj E-kniha

7

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Vydáno 2006

Obsah: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Získat plný text

Elektronický zdroj E-kniha

8

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

Vydáno 2015

Obsah: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Získat plný text

Elektronický zdroj E-kniha

9

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

Vydáno 2014

Obsah: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Získat plný text

Elektronický zdroj E-kniha

10

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Vydáno 2008

Obsah: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Získat plný text

Elektronický zdroj E-kniha

11

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Vydáno 2010

Obsah: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Získat plný text

Elektronický zdroj E-kniha

12

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Vydáno 2010

Obsah: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Získat plný text

Elektronický zdroj E-kniha

13

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Vydáno 2010

Obsah: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Získat plný text

Elektronický zdroj E-kniha

14

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

Vydáno 2006

Obsah: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Získat plný text

Elektronický zdroj E-kniha

15

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Vydáno 2013

Obsah: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Získat plný text

Elektronický zdroj E-kniha

16

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Vydáno 2015

Obsah: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Získat plný text

Elektronický zdroj E-kniha

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

18

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 of Software, ETAPS...

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

19

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Získat plný text

Elektronický zdroj E-kniha

20

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Vydáno 2014

Obsah: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání