1
Izdano 2012
Kazalo: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
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: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Polni tekst
Elektronski eKnjiga
4
Izdano 2010
Kazalo: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Polni tekst
Elektronski eKnjiga
6
Izdano 2008
Kazalo: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
Polni tekst
Elektronski eKnjiga
7
Izdano 2015
Kazalo: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Polni tekst
Elektronski eKnjiga
8
Izdano 2015
Kazalo: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Polni tekst
Elektronski eKnjiga
9
Izdano 2013
Kazalo: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Polni tekst
Elektronski eKnjiga
10
Izdano 2010
Kazalo: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Polni tekst
Elektronski eKnjiga
11
Izdano 2007
Kazalo: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Polni tekst
Elektronski eKnjiga
12
Izdano 2008
Kazalo: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
Polni tekst
Elektronski eKnjiga
13
Izdano 2008
Kazalo: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Polni tekst
Elektronski eKnjiga
14
Izdano 2013
Kazalo: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Polni tekst
Elektronski eKnjiga
15
Izdano 2010
Kazalo: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Polni tekst
Elektronski eKnjiga
16
Izdano 2014
Kazalo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Polni tekst
Elektronski eKnjiga
17
Izdano 2008
Kazalo: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Polni tekst
Elektronski eKnjiga
18
Izdano 2005
Kazalo: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Polni tekst
Elektronski eKnjiga
19
Izdano 2010
Kazalo: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Polni tekst
Elektronski eKnjiga
20
Izdano 2005
Kazalo: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Polni tekst
Elektronski eKnjiga