1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Coloring Series-Parallel Graphs -- Even Factors with Degree at Most Four in Claw-Free Graphs -- Finding...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Image Feature Tag Adding Functions -- The Impact of the Malfunction of a Sector in Supply Chain...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook