1
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... -- Multiobjective Optimization Software -- Parallel Approaches for Multiobjective Optimization -- Quality Assessment...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook