1
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2013
Inhaltsangabe: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2015
Inhaltsangabe: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2006
Inhaltsangabe: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2013
Inhaltsangabe: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2013
Inhaltsangabe: ... for Feature Selection in Classification -- CodeMonkey; a GUI Driven Platform for Swift Synthesis...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2005
Inhaltsangabe: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2013
Inhaltsangabe: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2012
Inhaltsangabe: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2014
Inhaltsangabe: ... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...
Volltext
Elektronisch E-Book