1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2012
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
8
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
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 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... for the Future -- Parallelization of Sphere-Decoding Methods -- Improving the Performance of a Verified Linear...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook