1
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...-neuron spike patterns -- Spatio-Temporal Patterns -- Unitary Event Analysis -- Information Geometry...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- 3 Influences of nanomaterials on the barrier function of epithelial cells -- 4 Engineered...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Caches -- A Multiprocessor Cache for Massively Parallel SoC Architectures -- Improving Resource Discovery...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Sort Using P Systems -- On the Number of Agents in P Colonies -- Events, Causality, and Concurrency...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook