Suchergebnisse - parallel java code selection functional https

1

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

Veröffentlicht 2006

Inhaltsangabe: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2010

Inhaltsangabe: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2013

Inhaltsangabe: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Volltext

Elektronisch E-Book

4

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /

Veröffentlicht 2014

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

Elektronisch E-Book

5

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2015

Inhaltsangabe: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2006

Inhaltsangabe: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2008

Inhaltsangabe: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Volltext

Elektronisch E-Book

9

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Veröffentlicht 2008

Inhaltsangabe: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Volltext

Elektronisch E-Book

10

Handbook of Data Visualization

Veröffentlicht 2008

Inhaltsangabe: “... in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2013

Inhaltsangabe: “...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2013

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

Elektronisch E-Book

13

Advanced Techniques in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volltext

Elektronisch E-Book

14

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 /

Veröffentlicht 2007

Inhaltsangabe: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Volltext

Elektronisch E-Book

15

Grid Computing Achievements and Prospects /

Veröffentlicht 2008

Inhaltsangabe: “... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2013

Inhaltsangabe: “... for Feature Selection in Classification -- CodeMonkey; a GUI Driven Platform for Swift Synthesis...”
Volltext

Elektronisch E-Book

17

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

Veröffentlicht 2005

Inhaltsangabe: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2013

Inhaltsangabe: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Volltext

Elektronisch E-Book

19

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

Veröffentlicht 2012

Inhaltsangabe: “... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...”
Volltext

Elektronisch E-Book

20

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

Veröffentlicht 2014

Inhaltsangabe: “... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”
Volltext

Elektronisch E-Book

Suche einschränken