1
Udgivet 2010
Indholdsfortegnelse: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Få fuldtekst
Electronisk eBog
6
Indholdsfortegnelse: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
10
Udgivet 2014
Indholdsfortegnelse: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Få fuldtekst
Electronisk eBog
14
Udgivet 2006
Indholdsfortegnelse: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Få fuldtekst
Electronisk eBog
16
Udgivet 2007
Indholdsfortegnelse: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Få fuldtekst
Electronisk eBog
17
Udgivet 2006
Indholdsfortegnelse: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
Få fuldtekst
Electronisk eBog