1
Publicado 2006
Tabla de Contenidos: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
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: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Enlace del recurso
Electrónico eBook
4
Publicado 2013
Tabla de Contenidos: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Enlace del recurso
Electrónico eBook
6
Publicado 2010
Tabla de Contenidos: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Enlace del recurso
Electrónico eBook
7
Publicado 2008
Tabla de Contenidos: ... Discourse -- Effective Pruning Techniques for Mining Quasi-Cliques -- Efficient Pairwise Multilabel...
Enlace del recurso
Electrónico eBook
8
Publicado 2006
Tabla de Contenidos: ... -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning...
Enlace del recurso
Electrónico eBook
9
Publicado 2014
Tabla de Contenidos: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
Enlace del recurso
Electrónico eBook