Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel talk » parallel task, parallel tasks, parallel table
talk program » talks program, park program, milk program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel talk » parallel task, parallel tasks, parallel table
talk program » talks program, park program, milk program
1
Vydáno 2010
Obsah:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2013
Obsah:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2005
Obsah:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Získat plný text
Elektronický zdroj
E-kniha
10
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
11
Vydáno 2014
Obsah:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”Získat plný text
Elektronický zdroj
E-kniha
12
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
13
Vydáno 2013
Obsah:
“...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2015
Obsah:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2007
Obsah:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Získat plný text
Elektronický zdroj
E-kniha
20
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