Rezultaty - processing java problem modelling complex https

1

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

od Xiong, Jay., Xiong, Jay.
Wydane 2011

Spis treści: “...Introduction -- The Process models of the old-established software engineering paradigm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2008

Spis treści: “... Family Problems -- Examining the Feasibility of Reconfigurable Models for Molecular Dynamics Simulation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Spis treści: “... Profiling -- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling -- Efficient...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2010

Spis treści: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2010

Spis treści: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2010

Spis treści: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Integrated Graphic and Computer Modelling

od Thomas, Adrian., Thomas, Adrian.
Wydane 2008

Spis treści: “...Models: Language, Graphic, Analogue, Scale, Mathematical & Computer Models -- Computer Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2005

Spis treści: “... and Budget Constrained Scheduling Algorithm for eScience Applications on Data Grids -- A Survivability Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2005

Spis treści: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2007

Spis treści: “... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Embedded Systems Design Based on Formal Models of Computation

od Radojevic, Ivan., Radojevic, Ivan., Salcic, Zoran.
Wydane 2011

Spis treści: “...1. Introduction -- 2. Models of Computation and Languages -- 3. Specification in DFCharts -- 4...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II /

Wydane 2013

Spis treści: “... -- An Approach Based on an Interactive Procedure for Multiple Objective Optimisation Problems -- On Modeling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Wydane 2005

Spis treści: “...Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Wydane 2007

Spis treści: “... Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2010

Spis treści: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010, Proceedings /

Wydane 2010

Spis treści: “...-Efficient FPGA-Based Packet Processing Framework -- Service Mobility -- Service Migration Protocol for NFC...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

Wydane 2010

Spis treści: “... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Wydane 2008

Spis treści: “... Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Wydane 2015

Spis treści: “... Logarithmic Gaps in Distributed Complexity for Global Problems -- On Visibly Pushdown Trace Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty