Search Results - processing java models generalized java https

1

Pivotal Certified Spring Web Application Developer Exam A Study Guide /

by Cosmina, Iuliana., Cosmina, Iuliana.
Published 2015

Subjects: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text

Electronic eBook

2

Spring Recipes A Problem-Solution Approach /

by Mak, Gary., Mak, Gary., Rubio, Daniel., Long, Josh.
Published 2010

Subjects: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text

Electronic eBook

3

Stochastic Models in Life Insurance

by Koller, Michael., Koller, Michael.
Published 2012

Table of Contents: “...1. A general life insurance model -- 2. Stochastic processes -- 3. Interest rate -- 4. Cash flows...”
View full text

Electronic eBook

4

Embedded Systems Design Based on Formal Models of Computation

by Radojevic, Ivan., Radojevic, Ivan., Salcic, Zoran.
Published 2011

Table of Contents: “...1. Introduction -- 2. Models of Computation and Languages -- 3. Specification in DFCharts -- 4...”
View full text

Electronic eBook

5

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
View full text

Electronic eBook

7

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

8

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings /

Published 2014

Table of Contents: “...Speech Language Processing and Applications -- Automatically Recognising European Portuguese...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... Profiling -- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling -- Efficient...”
View full text

Electronic eBook

10

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

Published 2010

Table of Contents: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
View full text

Electronic eBook

11

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

by Deutsch, Andreas., Deutsch, Andreas., Dormann, Sabine.
Published 2005

Table of Contents: “...General Principles, Theories, and Models of Pattern Formation -- and Outline -- On the Origin...”
View full text

Electronic eBook

12

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

Published 2005

Table of Contents: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
View full text

Electronic eBook

13

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
View full text

Electronic eBook

14

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

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
View full text

Electronic eBook

16

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

Published 2012

Table of Contents: “...) Time Dense Generalized Inertia Matrix Inversion -- A Differential-Algebraic Multistate Friction Model...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...”
View full text

Electronic eBook

18

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
View full text

Electronic eBook

19

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...”
View full text

Electronic eBook

20

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
View full text

Electronic eBook

Narrow Search