Rezultati - parallel java programming internal function https*

1

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

Izdano 2010

Kazalo: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2006

Kazalo: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

4

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Izdano 2013

Kazalo: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2005

Kazalo: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2010

Kazalo: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

8

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Izdano 2014

Kazalo: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Polni tekst

Elektronski eKnjiga

9

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Izdano 2013

Kazalo: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Polni tekst

Elektronski eKnjiga

10

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Izdano 2014

Kazalo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Polni tekst

Elektronski eKnjiga

11

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Izdano 2008

Kazalo: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Polni tekst

Elektronski eKnjiga

12

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St...

Izdano 2015

Kazalo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2008

Kazalo: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2013

Kazalo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Polni tekst

Elektronski eKnjiga

15

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings...

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2014

Kazalo: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2010

Kazalo: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2006

Kazalo: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2005

Kazalo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Polni tekst

Elektronski eKnjiga

20

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

Izdano 2005

Kazalo: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje