Arama Sonuçları - parallel java code functional evaluation 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: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Tam Metin Erişim

Elektronik Ekitap

3

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: “... 2009 -- Preface -- JavaGAT Adaptor for UNICORE 6 – Development and Evaluation in the Project AeroGrid...”
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: “... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...”
Tam Metin Erişim

Elektronik Ekitap

5

Distributed, Embedded and Real-time Java Systems

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Tam Metin Erişim

Elektronik Ekitap

8

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: “... -- Performance Evaluation of Memory Management Configurations in Linux for an OS-Level Design Space Exploration...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Tam Metin Erişim

Elektronik Ekitap

10

Grid Computing Achievements and Prospects /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...”
Tam Metin Erişim

Elektronik Ekitap

11

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”
Tam Metin Erişim

Elektronik Ekitap

13

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...”
Tam Metin Erişim

Elektronik Ekitap

14

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

15

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

16

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Evaluation of a Java Computer Algebra System -- A New Property of Hamming Graphs and Mesh of d-ary Trees...”
Tam Metin Erişim

Elektronik Ekitap

17

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Aramayı Daralt