1
by Pitt, Esmond., Pitt, Esmond.
Published 2006
Table of Contents: ... and Clients Models -- Fallacies of Net- working....
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
9
by Sanghera, Paul., Sanghera, Paul.
Published 2006
Table of Contents: ...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...
View full text
Electronic eBook
10
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...: Optimization Modeling by Nondeterministic Simulation -- An Algebraic Characterisation of Complexity for Valued...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Complexity of Multi-agent Simulations – An Attempt Using Metrics -- DCaseLP: A Prototyping Environment...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook