1
Publicado em 2005
Sumário: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2015
Sumário: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Kozen, Dexter C., Kozen, Dexter C.
Publicado em 2006
Sumário: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2014
Sumário: ... and Chemical Networks -- Speed Faults in Computation by Chemical Reaction Networks -- Fault-Tolerant ANTS...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2011
Sumário: ... Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... Systems -- Computational Design Synthesis of Aircraft Configurations with Shape Grammars -- Spectral (Re...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2012
Sumário: ...Function-Based Single and Dual Point Haptic Interaction in Cyberworlds -- Visual 3D Perception...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ... Industrial Robots -- A Combined Position Evaluation Function in Chinese Chess Computer Game -- Modeling...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2005
Sumário: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2006
Sumário: ... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...
Obter o texto integral
Recurso Electrónico livro electrónico