Search Results - program section processing processing array https

1

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

Published 2012

Table of Contents: “... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”
View full text

Electronic eBook

2

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

Published 2012

Table of Contents: “... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...”
View full text

Electronic eBook

3

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

Published 2014

Table of Contents: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
View full text

Electronic eBook

4

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

Published 2015

Table of Contents: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
View full text

Electronic eBook

5

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Published 2013

Table of Contents: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
View full text

Electronic eBook

6

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Published 2013

Table of Contents: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
View full text

Electronic eBook

7

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
View full text

Electronic eBook

8

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
View full text

Electronic eBook

9

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

Published 2013

Table of Contents: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
View full text

Electronic eBook

10

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

11

Pro C# 2005 and the .NET 2.0 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2005

Table of Contents: “..., and Attribute-Based Programming -- Processes, AppDomains, Contexts, and CLR Hosts -- Building Multithreaded...”
View full text

Electronic eBook

12

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

13

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...

Published 2015

Table of Contents: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
View full text

Electronic eBook

14

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...

Published 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
View full text

Electronic eBook

15

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

Published 2012

Table of Contents: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
View full text

Electronic eBook

16

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013, Proceedings /

Published 2013

Table of Contents: “... of Government Resignation -- Utilizing Neuronal Calculus in Predicting Inflation -- PEV: A Computer Program...”
View full text

Electronic eBook

17

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Published 2008

Table of Contents: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
View full text

Electronic eBook

18

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”
View full text

Electronic eBook

20

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Published 2008

Table of Contents: “... Scheduling Scheme for Virtualized Utility Computing -- Session IV: Sensor Networks -- Scalable Processing...”
View full text

Electronic eBook

Narrow Search