Bilaketaren emaitzak - parallel java programming functionals modeling https

1

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

Argitaratua 2010

Aurkibidea: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2006

Aurkibidea: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Testu osoa

Baliabide elektronikoa eBook

3

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

Argitaratua 2013

Aurkibidea: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Testu osoa

Baliabide elektronikoa eBook

4

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

Argitaratua 2010

Aurkibidea: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Testu osoa

Baliabide elektronikoa eBook

5

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

Argitaratua 2013

Aurkibidea: “... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”
Testu osoa

Baliabide elektronikoa eBook

6

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

Argitaratua 2005

Aurkibidea: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Testu osoa

Baliabide elektronikoa eBook

7

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

Argitaratua 2010

Aurkibidea: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Testu osoa

Baliabide elektronikoa eBook

8

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Testu osoa

Baliabide elektronikoa eBook

9

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

Argitaratua 2013

Aurkibidea: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Testu osoa

Baliabide elektronikoa eBook

10

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

Argitaratua 2005

Aurkibidea: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Testu osoa

Baliabide elektronikoa eBook

11

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

Argitaratua 2007

Aurkibidea: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Testu osoa

Baliabide elektronikoa eBook

12

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

Argitaratua 2006

Aurkibidea: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Testu osoa

Baliabide elektronikoa eBook

13

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

Argitaratua 2008

Aurkibidea: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Testu osoa

Baliabide elektronikoa eBook

14

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

Argitaratua 2013

Aurkibidea: “... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”
Testu osoa

Baliabide elektronikoa eBook

15

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

Argitaratua 2014

Aurkibidea: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Testu osoa

Baliabide elektronikoa eBook

16

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

Argitaratua 2015

Aurkibidea: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Testu osoa

Baliabide elektronikoa eBook

17

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

Argitaratua 2010

Aurkibidea: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Testu osoa

Baliabide elektronikoa eBook

18

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

Argitaratua 2013

Aurkibidea: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Testu osoa

Baliabide elektronikoa eBook

19

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

Argitaratua 2008

Aurkibidea: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Testu osoa

Baliabide elektronikoa eBook

20

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

Argitaratua 2014

Aurkibidea: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu