1
Veröffentlicht 2013
Inhaltsangabe: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2005
Inhaltsangabe: ... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2007
Inhaltsangabe: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2013
Inhaltsangabe: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ... Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2010
Inhaltsangabe: ... -- Workshop on Human and Information Space Symbiosis (IWHISS 2010) -- Information Privacy in Smart Office...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
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 2015
Inhaltsangabe: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2014
Inhaltsangabe: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2014
Inhaltsangabe: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2014
Inhaltsangabe: ... to Identify Information Domain -- Analysis of Multithreading in Java for Symbolic Computation on Multicore...
Volltext
Elektronisch E-Book