1
Publicado 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... of N-th Order Bilinearity Applied with Model Based Controller -- Estimation For Target Tracking Using A...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Ligazón do recurso
Electrónico eBook
5
Publicado 2012
Table of Contents: ... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... Application to Security Evaluation of the HB Protocols for RFID Authentication -- Hash Functions -- Update...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Ligazón do recurso
Electrónico eBook
8
Publicado 2014
Table of Contents: ... Interoperability for Energy Efficient Building Operations Based on the IFC Data Model Standard -- Virtual Energy...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ...Development of a Fault Detection Model-Based Controller -- Sensitivity Generation in an Adaptive...
Ligazón do recurso
Electrónico eBook
11
Publicado 2008
Table of Contents: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Ligazón do recurso
Electrónico eBook
12
Publicado 2007
Table of Contents: ... Wall-Layer Models for Predicting Separated Turbulent Near-Wall Flows -- Numerical Experimentation: A...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... of Simplex Decomposition Trees -- Applications -- Patient-Specific Vascular NURBS Modeling for Isogeometric...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
Ligazón do recurso
Electrónico eBook
15
Publicado 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... Parameterization for Reverse Engineering -- A Comparison of Three Commodity-Level Parallel Architectures: Multi...
Ligazón do recurso
Electrónico eBook
18
Publicado 2014
Table of Contents: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
Ligazón do recurso
Electrónico eBook
19
Publicado 2007
Table of Contents: ... Origins -- Adaptations and Evolution of the Cranium -- Jaw-Muscle Function and the Origin of Primates...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Assimilation Algorithms for Numerical Models -- Radial Basis Functions for Interface Interpolation and Mesh...
Ligazón do recurso
Electrónico eBook