Hakutulokset - section computational programming semantics arrays a~

Tarkoititko:
computational programming » computation programming , computational program , computing programming
section computational » prediction computational , design computational , effective computational
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Julkaistu 2014

Sisällysluettelo: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Hae kokoteksti

Elektroninen E-kirja

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Julkaistu 2013

Sisällysluettelo: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
Hae kokoteksti

Elektroninen E-kirja

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Julkaistu 2014

Sisällysluettelo: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Hae kokoteksti

Elektroninen E-kirja

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”
Hae kokoteksti

Elektroninen E-kirja

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation...”
Hae kokoteksti

Elektroninen E-kirja

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2014

Sisällysluettelo: “... for Linear Loops -- Modeling and Model Checking Discrete Systems FDR3 — A Modern Refinement Checker for CSP...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2015

Sisällysluettelo: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Hae kokoteksti

Elektroninen E-kirja

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Julkaistu 2012

Sisällysluettelo: “... (SSVEP)-Based Brain-Computer Interface (BCI): A Low-Delayed Asynchronous Wheelchair Control System...”
Hae kokoteksti

Elektroninen E-kirja

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Julkaistu 2012

Sisällysluettelo: “... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...”
Hae kokoteksti

Elektroninen E-kirja

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Julkaistu 2014

Sisällysluettelo: “... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Technologies and Engineering Systems

Julkaistu 2013

Sisällysluettelo: “... Home Automation System -- Design of a Smart Battery System for Laptop Computer -- A Novel Fuzzy Neural...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua