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