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