Výsledky vyhledávání - parallel value program functionality function https*

Alternativní vyhledávání:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel value » parallel volume , parallel cable , parallel vlsi
function https » functions https , fiction https
value program » value programs , valued programs , evaluate program

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Vydáno 2007

Obsah: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Získat plný text

Elektronický zdroj E-kniha

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Získat plný text

Elektronický zdroj E-kniha

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

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

Vydáno 2010

Obsah: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Získat plný text

Elektronický zdroj E-kniha

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Vydáno 2013

Obsah: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Získat plný text

Elektronický zdroj E-kniha

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Vydáno 2005

Obsah: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Získat plný text

Elektronický zdroj E-kniha

Software Engineering 1 Abstraction and Modelling /

Autor Bjørner, Dines., Bjørner, Dines.
Vydáno 2006

Obsah: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Získat plný text

Elektronický zdroj E-kniha

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014

Témata: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Získat plný text

Elektronický zdroj E-kniha

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Vydáno 2015

Obsah: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Získat plný text

Elektronický zdroj E-kniha

Multiobjective Optimization Interactive and Evolutionary Approaches /

Vydáno 2008

Obsah: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Vydáno 2008

Obsah: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Získat plný text

Elektronický zdroj E-kniha

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Vydáno 2012

Obsah: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
Získat plný text

Elektronický zdroj E-kniha

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Vydáno 2005

Obsah: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Vydáno 2007

Obsah: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Získat plný text

Elektronický zdroj E-kniha

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Vydáno 2015

Obsah: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Získat plný text

Elektronický zdroj E-kniha

1
2
3
4
Další »
[4]

Upřesnit hledání