Resultats de la cerca - processing java program modeling complex https

1

per Pitt, Esmond., Pitt, Esmond.
Publicat 2006

Taula de continguts: “... and Clients Models -- Fallacies of Net- working....”
Obtenir text complet

Electrònic eBook

2

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

Publicat 2012

Taula de continguts: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2008

Taula de continguts: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2010

Taula de continguts: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obtenir text complet

Electrònic eBook

5

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

Publicat 2010

Taula de continguts: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Obtenir text complet

Electrònic eBook

6

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

Publicat 2010

Taula de continguts: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Obtenir text complet

Electrònic eBook

7

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

Publicat 2005

Taula de continguts: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2010

Taula de continguts: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Obtenir text complet

Electrònic eBook

9

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

per Sanghera, Paul., Sanghera, Paul.
Publicat 2006

Taula de continguts: “...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
Obtenir text complet

Electrònic eBook

10

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

Publicat 2005

Taula de continguts: “... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2014

Taula de continguts: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Obtenir text complet

Electrònic eBook

12

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

Publicat 2005

Taula de continguts: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Obtenir text complet

Electrònic eBook

13

Integrated Graphic and Computer Modelling

per Thomas, Adrian., Thomas, Adrian.
Publicat 2008

Taula de continguts: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2005

Taula de continguts: “... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...”
Obtenir text complet

Electrònic eBook

15

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

Publicat 2006

Taula de continguts: “...: Optimization Modeling by Nondeterministic Simulation -- An Algebraic Characterisation of Complexity for Valued...”
Obtenir text complet

Electrònic eBook

16

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

Publicat 2007

Taula de continguts: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Obtenir text complet

Electrònic eBook

17

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

Publicat 2010

Taula de continguts: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Obtenir text complet

Electrònic eBook

18

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Publicat 2010

Taula de continguts: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Obtenir text complet

Electrònic eBook

19

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

Publicat 2013

Taula de continguts: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Obtenir text complet

Electrònic eBook

20

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

Publicat 2008

Taula de continguts: “... Complexity of Multi-agent Simulations – An Attempt Using Metrics -- DCaseLP: A Prototyping Environment...”
Obtenir text complet

Electrònic eBook

Refinar cerca