1
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Biofilm Model and Its Performance on Multi-core and Multi-processor Computers -- An Evaluation of Parallel...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... on Heterogeneous Two-Processor Systems -- A Grid Based System for Closure Computation and Online Service -- A...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Requirements for Designing an Ergonomics Notebook Soft case using Quality Function Deployment (QFD) Approach...
View full text
Electronic eBook