1
Published 2012
Table of Contents: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Coding for Reliable Distributed Storage -- LIRAC: Using Live Range Information to Optimize Memory Access...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Transonic Axial Compressor Stage with Inlet Distortions -- A Parallel CFD Solver Using the Discontinuous...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... and Efficiency in Simulating VANETs -- Design of Highly Nonlinear Balanced Boolean Functions Using an Hybridation...
View full text
Electronic eBook
10
Published 2011
Table of Contents: ... on The Degradation of MOV Used in Multiplate Paralleling -- A Kind of Integrated Resource Scheduling Framework...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ..., M.Mohd Yusof -- Objective Non-intrusive Conversational VoIP Quality Prediction using Data mining methods...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ...-Based Matching of Large Ontologies Using Locality-Sensitive Hashing -- Automatic Typing of DBpedia...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...-Based Matching of Large Ontologies Using Locality-Sensitive Hashing -- Automatic Typing of DBpedia...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- 80. Static ATC Estimation Using Fully Complex Valued Radial Basis Function Neural Network -- 81. Big...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... and Repeating Patterns -- Using Multiple Indexes for Efficient Subsequence Matching in Time-Series Databases...
View full text
Electronic eBook