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: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... for Elicitation of Quality Requirements -- Towards Crowd-based Requirements Engineering -- Functional Requirements...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
View full text
Electronic eBook
10
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
11
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Multiobjective Optimization Software -- Parallel Approaches for Multiobjective Optimization -- Quality Assessment...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
View full text
Electronic eBook