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í:
parallel implementations » parallel implementation, hardware implementations
implementations proving » implementation improving, implementations exploring, implementation producing
functionality function » functionals function, functionaries function, functional functions
proving functionality » protein functionality, proving functional, processing functionality
function https » functions https, fiction https
parallel implementations » parallel implementation, hardware implementations
implementations proving » implementation improving, implementations exploring, implementation producing
functionality function » functionals function, functionaries function, functional functions
proving functionality » protein functionality, proving functional, processing functionality
function https » functions https, fiction https
1
Vydáno 2007
Obsah:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Získat plný text
Elektronický zdroj
E-kniha
2
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
3
Vydáno 2015
Obsah:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2012
Témata:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2006
Obsah:
“... Polyhedron -- A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”Získat plný text
Elektronický zdroj
E-kniha
9
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
10
Vydáno 2010
Obsah:
“... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”Získat plný text
Elektronický zdroj
E-kniha
13
Obsah:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2015
Obsah:
“... -- Implementing Game Design in Gamification -- Applied Behavioral Economics: A Game Designer’s Perspective...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2006
Obsah:
“... -- A Simple and Unified Method of Proving Indistinguishability -- Fast Implementation of Public Key...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2013
Obsah:
“...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...”Získat plný text
Elektronický zdroj
E-kniha