Rezultati - parallel program context function functional https

Poišči alternative:
function functional » functions functional , fractional functional , nutrition functional
parallel program » parallel programs , parallel problem , parallel programming
context function » context functions , control function , context section
functional https » functions https , function https , functional hop
program context » program concept , programs contents , problem context

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Izdano 2010

Kazalo: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Polni tekst

Elektronski eKnjiga

Applied WPF 4 in Context

od Garofalo, Raffaele., Garofalo, Raffaele.
Izdano 2011

Teme: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
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

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Izdano 2013

Kazalo: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Polni tekst

Elektronski eKnjiga

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Izdano 2013

Kazalo: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
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

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Polni tekst

Elektronski eKnjiga

Modern Compiler Design

od Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Izdano 2012

Kazalo: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Polni tekst

Elektronski eKnjiga

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Izdano 2014

Kazalo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Polni tekst

Elektronski eKnjiga

Software Engineering 2 Specification of Systems and Languages /

od Bjørner, Dines., Bjørner, Dines.
Izdano 2006

Kazalo: “... -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time...”
Polni tekst

Elektronski eKnjiga

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Izdano 2010

Kazalo: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
Polni tekst

Elektronski eKnjiga

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Izdano 2015

Kazalo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Polni tekst

Elektronski eKnjiga

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Izdano 2010

Kazalo: “... -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel...”
Polni tekst

Elektronski eKnjiga

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Izdano 2005

Kazalo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Polni tekst

Elektronski eKnjiga

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Izdano 2008

Kazalo: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
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 o...

Izdano 2015

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

Elektronski eKnjiga

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Izdano 2007

Kazalo: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje