Hakutulokset - detecting computers programming semantics arrays a

Tarkoititko:
programming semantics » programming mathematics , programming series , programming secrets
computers programming » computer programming , computer program , computer programs
detecting computers » detection computer , getting computers , connecting computers
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Hae kokoteksti

Elektroninen E-kirja

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Julkaistu 2005

Sisällysluettelo: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Hae kokoteksti

Elektroninen E-kirja

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Hae kokoteksti

Elektroninen E-kirja

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Julkaistu 2010

Sisällysluettelo: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Julkaistu 2010

Sisällysluettelo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hae kokoteksti

Elektroninen E-kirja

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Julkaistu 2015

Sisällysluettelo: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Hae kokoteksti

Elektroninen E-kirja

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Hae kokoteksti

Elektroninen E-kirja

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Julkaistu 2014

Sisällysluettelo: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
Hae kokoteksti

Elektroninen E-kirja

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Hae kokoteksti

Elektroninen E-kirja

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”
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

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Julkaistu 2005

Sisällysluettelo: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hae kokoteksti

Elektroninen E-kirja

Emerging Technologies for Information Systems, Computing, and Management

Julkaistu 2013

Sisällysluettelo: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
Hae kokoteksti

Elektroninen E-kirja

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
Hae kokoteksti

Elektroninen E-kirja

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
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: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
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 Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua