Zoekresultaten - processing java program modeling complexity https

1

door Pitt, Esmond., Pitt, Esmond.
Gepubliceerd in 2006

Inhoudsopgave: “... and Clients Models -- Fallacies of Net- working....”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2012

Inhoudsopgave: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2008

Inhoudsopgave: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2010

Inhoudsopgave: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2010

Inhoudsopgave: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2010

Inhoudsopgave: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2005

Inhoudsopgave: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2010

Inhoudsopgave: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Volledige tekst

Elektronisch E-boek

9

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

door Sanghera, Paul., Sanghera, Paul.
Gepubliceerd in 2006

Inhoudsopgave: “...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2005

Inhoudsopgave: “... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2014

Inhoudsopgave: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2005

Inhoudsopgave: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Volledige tekst

Elektronisch E-boek

13

Integrated Graphic and Computer Modelling

door Thomas, Adrian., Thomas, Adrian.
Gepubliceerd in 2008

Inhoudsopgave: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2005

Inhoudsopgave: “... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2006

Inhoudsopgave: “...: Optimization Modeling by Nondeterministic Simulation -- An Algebraic Characterisation of Complexity for Valued...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2007

Inhoudsopgave: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2010

Inhoudsopgave: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2010

Inhoudsopgave: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2013

Inhoudsopgave: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken