1
Publicado 2008
Tabla de Contenidos: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Enlace del recurso
Electrónico eBook
7
por Fischer, Robert., Fischer, Robert.
Publicado 2015
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
8
Publicado 2005
Tabla de Contenidos: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Enlace del recurso
Electrónico eBook
9
Publicado 2008
Tabla de Contenidos: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Enlace del recurso
Electrónico eBook
12
Publicado 2008
Tabla de Contenidos: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Enlace del recurso
Electrónico eBook
13
Tabla de Contenidos: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
Enlace del recurso
Electrónico eBook
15
Publicado 2005
Tabla de Contenidos: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
Enlace del recurso
Electrónico eBook
16
Publicado 2005
Tabla de Contenidos: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Enlace del recurso
Electrónico eBook
17
Publicado 2008
Tabla de Contenidos: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Enlace del recurso
Electrónico eBook
18
Publicado 2007
Tabla de Contenidos: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Enlace del recurso
Electrónico eBook
19
Publicado 2007
Tabla de Contenidos: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Enlace del recurso
Electrónico eBook