Výsledky vyhledávání - processing java programs modelling complex https

1

Autor Pitt, Esmond., Pitt, Esmond.
Vydáno 2006

Obsah: “... and Clients Models -- Fallacies of Net- working....”
Získat plný text

Elektronický zdroj E-kniha

2

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Vydáno 2012

Obsah: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Získat plný text

Elektronický zdroj E-kniha

3

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /

Vydáno 2008

Obsah: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Získat plný text

Elektronický zdroj E-kniha

4

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Získat plný text

Elektronický zdroj E-kniha

5

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Získat plný text

Elektronický zdroj E-kniha

6

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /

Vydáno 2010

Obsah: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Získat plný text

Elektronický zdroj E-kniha

7

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Vydáno 2005

Obsah: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

8

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Vydáno 2010

Obsah: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Získat plný text

Elektronický zdroj E-kniha

9

SCJP Exam for J2SE 5 A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam /

Autor Sanghera, Paul., Sanghera, Paul.
Vydáno 2006

Obsah: “...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
Získat plný text

Elektronický zdroj E-kniha

10

Integrated Graphic and Computer Modelling

Autor Thomas, Adrian., Thomas, Adrian.
Vydáno 2008

Obsah: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Získat plný text

Elektronický zdroj E-kniha

11

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Vydáno 2005

Obsah: “... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”
Získat plný text

Elektronický zdroj E-kniha

12

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Vydáno 2014

Obsah: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Získat plný text

Elektronický zdroj E-kniha

13

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Vydáno 2005

Obsah: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Získat plný text

Elektronický zdroj E-kniha

14

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings /

Vydáno 2005

Obsah: “... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...”
Získat plný text

Elektronický zdroj E-kniha

15

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Vydáno 2006

Obsah: “...: Optimization Modeling by Nondeterministic Simulation -- An Algebraic Characterisation of Complexity for Valued...”
Získat plný text

Elektronický zdroj E-kniha

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Vydáno 2007

Obsah: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Získat plný text

Elektronický zdroj E-kniha

17

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Získat plný text

Elektronický zdroj E-kniha

18

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Vydáno 2013

Obsah: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Získat plný text

Elektronický zdroj E-kniha

19

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers /

Vydáno 2008

Obsah: “... Complexity of Multi-agent Simulations – An Attempt Using Metrics -- DCaseLP: A Prototyping Environment...”
Získat plný text

Elektronický zdroj E-kniha

20

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Vydáno 2010

Obsah: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání