Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
tutorial function » arterial function, tutorial foundations, vectorial functions
function function » function functional, functions functional, function dysfunction
parallel models » parallel model, parallel code
models tutorial » model tutorial, modes tutorial, modeling tutorial
function https » functions https, fiction https
tutorial function » arterial function, tutorial foundations, vectorial functions
function function » function functional, functions functional, function dysfunction
parallel models » parallel model, parallel code
models tutorial » model tutorial, modes tutorial, modeling tutorial
function https » functions https, fiction https
1
Veröffentlicht 2010
Inhaltsangabe:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2008
Inhaltsangabe:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2005
Inhaltsangabe:
“... Discretizations of Advection-Diffusion Models -- Parallel Grid Adaptation and Dynamic Load Balancing for a CFD...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2008
Inhaltsangabe:
“... Biology: Models and Logics -- Separation Logic Tutorial -- Years of Stable Models Semantics Celebration...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2005
Inhaltsangabe:
“...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2015
Inhaltsangabe:
“... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2012
Inhaltsangabe:
“... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2006
Inhaltsangabe:
“... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2005
Inhaltsangabe:
“... Stopping and Constraints for Diffusion Models of Signals with Discontinuities -- An Evolutionary Function...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2007
Inhaltsangabe:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2006
Inhaltsangabe:
“... Using Probabilistic Hidden Variable Models -- Reinforcement Learning and Apprenticeship Learning...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2014
Inhaltsangabe:
“... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2005
Inhaltsangabe:
“...: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2014
Inhaltsangabe:
“... -- Online Indexing and Distributed Querying Model-View Sensor Data in the Cloud -- Discovery of Areas...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2014
Inhaltsangabe:
“... -- Online Indexing and Distributed Querying Model-View Sensor Data in the Cloud -- Discovery of Areas...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2007
Inhaltsangabe:
“... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2006
Inhaltsangabe:
“... -- An Experimental Study of Effective Feedback Strategies for Intelligent Tutorial Systems for Foreign Language...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2013
Inhaltsangabe:
“... Strategies for Education in Engineering for Virtual Team Development -- New Automated Assembly Model Based...”Volltext
Elektronisch
E-Book