1
Publicado 2010
Tabla de Contenidos: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Enlace del recurso
Electrónico eBook
5
Publicado 2012
Tabla de Contenidos: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... of the Internet Protocol Security and Its Impact on Interactive Communications -- Investigating Software...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Enlace del recurso
Electrónico eBook
11
Publicado 2007
Tabla de Contenidos: ... at the Institute for Computational Physics -- Solid State Physics -- Nano-Systems in External Fields and Reduced...
Enlace del recurso
Electrónico eBook
12
Publicado 2007
Tabla de Contenidos: ... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... Diagnosis Using Possible Conflicts and System Decomposition -- Evolutionary Computation and Applications...
Enlace del recurso
Electrónico eBook
15
Publicado 2010
Tabla de Contenidos: ... Information in Compression-Based Text Clustering -- Simple Deterministically Constructed Recurrent Neural...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... for Divisible Load Scheduling with Different Processor Available Times -- Evolutionary Computational...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ... Interactions -- Design of Neuro-fuzzy Controller Based on Dynamic Weights Updating -- Interval Computing...
Enlace del recurso
Electrónico eBook
18
Publicado 2007
Tabla de Contenidos: ... the “Semantic Gap” -- Multimedia Ontology Based Computational Framework for Video Annotation and Retrieval...
Enlace del recurso
Electrónico eBook
19
Publicado 2005
Tabla de Contenidos: ... Network -- Computerized Adaptive Tests and Item Response Theory on a Distance Education Platform...
Enlace del recurso
Electrónico eBook