1
Izdano 2013
Kazalo: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Polni tekst
Elektronski eKnjiga
4
Izdano 2010
Kazalo: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Polni tekst
Elektronski eKnjiga
5
Izdano 2005
Kazalo: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Polni tekst
Elektronski eKnjiga
6
Izdano 2013
Kazalo: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Polni tekst
Elektronski eKnjiga
7
Izdano 2010
Kazalo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Polni tekst
Elektronski eKnjiga
8
Izdano 2008
Kazalo: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Polni tekst
Elektronski eKnjiga
9
Izdano 2006
Kazalo: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Polni tekst
Elektronski eKnjiga
10
Izdano 2005
Kazalo: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Polni tekst
Elektronski eKnjiga
11
Izdano 2006
Kazalo: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Polni tekst
Elektronski eKnjiga
12
Izdano 2013
Kazalo: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Polni tekst
Elektronski eKnjiga
14
Izdano 2014
Kazalo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Polni tekst
Elektronski eKnjiga
15
Izdano 2006
Kazalo: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Polni tekst
Elektronski eKnjiga
16
Izdano 2014
Kazalo: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Polni tekst
Elektronski eKnjiga