Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program modelling » problem modelling, programming modelling, problems modelling
modelling complex » modeling complex, modeling computer, modelling chapter
processing java » processing japan, processing james, processing j
complex https » complexity https, complex atoms, complex atp
java program » java programs, a program, java programming
program modelling » problem modelling, programming modelling, problems modelling
modelling complex » modeling complex, modeling computer, modelling chapter
processing java » processing japan, processing james, processing j
complex https » complexity https, complex atoms, complex atp
java program » java programs, a program, java programming
1
Table of Contents:
“... and Clients Models -- Fallacies of Net- working....”
View full text
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
Table of Contents:
“...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
View full text
View full text
Electronic
eBook
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
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



