Arama Sonuçları - parallel java programming study functions https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Tam Metin Erişim

Elektronik Ekitap

2

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

3

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...”
Tam Metin Erişim

Elektronik Ekitap

6

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

10

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Tam Metin Erişim

Elektronik Ekitap

13

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Tam Metin Erişim

Elektronik Ekitap

14

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Tam Metin Erişim

Elektronik Ekitap

15

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Baskı/Yayın Bilgisi 2008

İçindekiler: “...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...”
Tam Metin Erişim

Elektronik Ekitap

16

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Tam Metin Erişim

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt