Rezultati - parallel programming https functionality part https

Poišči alternative:
parallel programming » parallel processing
https functionality » its functionality , bags functionality , cross functionality
functionality part » functionality pt , functionality maps , functionality test
programming https » programming http , programming hands , programming hints
part https » sport https , arts https , care https

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

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

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...

Izdano 2015

Kazalo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Polni tekst

Elektronski eKnjiga

Beginning Haskell A Project-Based Approach /

od Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Izdano 2014

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje