1
Baskı/Yayın Bilgisi 2013
İçindekiler: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2013
İçindekiler: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Tam Metin Erişim
Elektronik Ekitap
3
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
4
Baskı/Yayın Bilgisi 2010
İçindekiler: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Tam Metin Erişim
Elektronik Ekitap
5
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
6
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2012
İçindekiler: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Checkpointing Libraries for Parallel MPI Applications, -- Performance -- Performance Profiling Overhead...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2013
İçindekiler: ... in UWB Networks -- Load Balancing in Distributed Applications Based on Extremal Optimization -- A...
Tam Metin Erişim
Elektronik Ekitap
10
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
11
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Tam Metin Erişim
Elektronik Ekitap
13
İçindekiler: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Tam Metin Erişim
Elektronik Ekitap
14
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
15
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
16
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
17
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
18
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2005
İçindekiler: ... and Knowledge Discovery -- A Data Mining Application on Air Temperature Database -- Incremental Association Rule...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler: ... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...
Tam Metin Erişim
Elektronik Ekitap