Arama Sonuçları - parallel select programs functional java https

1

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

2

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

3

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Tam Metin Erişim

Elektronik Ekitap

5

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

6

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

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Tam Metin Erişim

Elektronik Ekitap

10

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

11

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

12

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: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Tam Metin Erişim

Elektronik Ekitap

13

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

14

Handbook of Data Visualization

Baskı/Yayın Bilgisi 2008

İçindekiler: “... in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications...”
Tam Metin Erişim

Elektronik Ekitap

15

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

16

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Tam Metin Erişim

Elektronik Ekitap

18

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

19

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

20

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