Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
processing programs » processing programmed, processing problems, processing products
program proceedings » programs proceedings, programme proceedings, programmes proceedings
proceedings array » proceedings arab, proceedings galway, proceedings asean
programs program » programming program
https » http
processing programs » processing programmed, processing problems, processing products
program proceedings » programs proceedings, programme proceedings, programmes proceedings
proceedings array » proceedings arab, proceedings galway, proceedings asean
programs program » programming program
https » http
1
Publicat 2008
Taula de continguts:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”Obtenir text complet
Electrònic
eBook
3
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicat 2010
Taula de continguts:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Obtenir text complet
Electrònic
eBook
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Obtenir text complet
Electrònic
eBook
10
Publicat 2015
Taula de continguts:
“... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”Obtenir text complet
Electrònic
eBook
11
Publicat 2012
Taula de continguts:
“... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”Obtenir text complet
Electrònic
eBook
12
Publicat 2012
Taula de continguts:
“... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Obtenir text complet
Electrònic
eBook
15
Publicat 2013
Taula de continguts:
“... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”Obtenir text complet
Electrònic
eBook
18
Publicat 2013
Taula de continguts:
“... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Obtenir text complet
Electrònic
eBook