1
Published 2005
Table of Contents: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook
5
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
View full text
Electronic eBook
8
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
View full text
Electronic eBook
9
by Horton, Ivor., Horton, Ivor.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
18
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... to Network Processor for Parallel Query Processing in Cluster of Workstations -- A High-Speed VLSI Array...
View full text
Electronic eBook