1
Argitaratua 2013
Aurkibidea: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2012
Aurkibidea: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2005
Aurkibidea: ... Checkpointing Libraries for Parallel MPI Applications, -- Performance -- Performance Profiling Overhead...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2013
Aurkibidea: ... in UWB Networks -- Load Balancing in Distributed Applications Based on Extremal Optimization -- A...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2006
Aurkibidea: ... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2013
Aurkibidea: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Testu osoa
Baliabide elektronikoa eBook
13
Aurkibidea: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2008
Aurkibidea: ... in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Aurkibidea: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2006
Aurkibidea: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... and Knowledge Discovery -- A Data Mining Application on Air Temperature Database -- Incremental Association Rule...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2005
Aurkibidea: ... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...
Testu osoa
Baliabide elektronikoa eBook