Результаты поиска - processing java https modelling complexity https

1

по Pitt, Esmond., Pitt, Esmond.
Опубликовано 2006

Оглавление: “... and Clients Models -- Fallacies of Net- working....”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2008

Оглавление: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Полный текст

Электронный ресурс eКнига

3

Integrated Graphic and Computer Modelling

по Thomas, Adrian., Thomas, Adrian.
Опубликовано 2008

Оглавление: “...Models: Language, Graphic, Analogue, Scale, Mathematical & Computer Models -- Computer Languages...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2010

Оглавление: “... Profiling -- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling -- Efficient...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2010

Оглавление: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Полный текст

Электронный ресурс eКнига

6

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE /

по Xiong, Jay., Xiong, Jay.
Опубликовано 2011

Оглавление: “...Introduction -- The Process models of the old-established software engineering paradigm...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2010

Оглавление: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2010

Оглавление: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Полный текст

Электронный ресурс eКнига

9

Model-Driven Testing Using the UML Testing Profile /

по Baker, Paul., Baker, Paul., Dai, Zhen Ru., Grabowski, Jens., Schieferdecker, Ina., Williams, Clay.
Опубликовано 2008

Оглавление: “...Foundations -- Model-Based Testing -- Basics -- Library Example Introduction -- Functional Testing...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2012

Оглавление: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2005

Оглавление: “... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2014

Оглавление: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2005

Оглавление: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2005

Оглавление: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2007

Оглавление: “... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...”
Полный текст

Электронный ресурс eКнига

16

Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis /

по Deutsch, Andreas., Deutsch, Andreas., Dormann, Sabine.
Опубликовано 2005

Оглавление: “...General Principles, Theories, and Models of Pattern Formation -- and Outline -- On the Origin...”
Полный текст

Электронный ресурс eКнига

17

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

по Sanghera, Paul., Sanghera, Paul.
Опубликовано 2006

Оглавление: “...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
Полный текст

Электронный ресурс eКнига

18

Embedded Systems Design Based on Formal Models of Computation

по Radojevic, Ivan., Radojevic, Ivan., Salcic, Zoran.
Опубликовано 2011

Оглавление: “...1. Introduction -- 2. Models of Computation and Languages -- 3. Specification in DFCharts -- 4...”
Полный текст

Электронный ресурс eКнига

19

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Опубликовано 2014

Оглавление: “...: model, detection, deblurring -- Software support for Common Criteria security development process...”
Полный текст

Электронный ресурс eКнига

20

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

Опубликовано 2013

Оглавление: “... for Securing Adhoc Network by Friendly Group Model -- Energy Efficient Medium Access Protocol for Clustered...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска