1
Publicerad 2006
Innehållsförteckning: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2005
Innehållsförteckning: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2013
Innehållsförteckning: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... Discourse -- Effective Pruning Techniques for Mining Quasi-Cliques -- Efficient Pairwise Multilabel...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2006
Innehållsförteckning: ... -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2014
Innehållsförteckning: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
Hämta fulltext
Elektronisk E-bok