Search Results - parallel java processes functionals models https

1

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

2

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
View full text

Electronic eBook

4

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Published 2005

Table of Contents: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
View full text

Electronic eBook

7

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Published 2014

Table of Contents: “... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”
View full text

Electronic eBook

8

Handbook of Data Visualization

Published 2008

Table of Contents: “... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
View full text

Electronic eBook

10

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

Published 2013

Table of Contents: “... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...”
View full text

Electronic eBook

11

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

12

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...”
View full text

Electronic eBook

13

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Processing -- rMPI: Message Passing on Multicore Processors with On-Chip Interconnect -- Modeling Multigrain...”
View full text

Electronic eBook

14

Grid Computing Achievements and Prospects /

Published 2008

Table of Contents: “...Query Processing Over The Grid: The Role Of Workflow Management -- From Orc Models To Distributed...”
View full text

Electronic eBook

15

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...”
View full text

Electronic eBook

16

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
View full text

Electronic eBook

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...”
View full text

Electronic eBook

18

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

19

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

20

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
View full text

Electronic eBook

Narrow Search