نتائج البحث - detection computing programming semantics arrays a

1

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

منشور في 2005

جدول المحتويات: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
احصل على النص الكامل

الكتروني كتاب الكتروني

2

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

منشور في 2005

جدول المحتويات: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
احصل على النص الكامل

الكتروني كتاب الكتروني

3

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

منشور في 2007

جدول المحتويات: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
احصل على النص الكامل

الكتروني كتاب الكتروني

4

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

منشور في 2010

جدول المحتويات: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
احصل على النص الكامل

الكتروني كتاب الكتروني

5

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

منشور في 2010

جدول المحتويات: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
احصل على النص الكامل

الكتروني كتاب الكتروني

6

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

منشور في 2015

جدول المحتويات: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
احصل على النص الكامل

الكتروني كتاب الكتروني

7

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

منشور في 2005

جدول المحتويات: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
احصل على النص الكامل

الكتروني كتاب الكتروني

8

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

منشور في 2014

جدول المحتويات: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
احصل على النص الكامل

الكتروني كتاب الكتروني

9

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

منشور في 2007

جدول المحتويات: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
احصل على النص الكامل

الكتروني كتاب الكتروني

10

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

منشور في 2007

جدول المحتويات: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
احصل على النص الكامل

الكتروني كتاب الكتروني

11

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

منشور في 2010

جدول المحتويات: “... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”
احصل على النص الكامل

الكتروني كتاب الكتروني

12

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

منشور في 2013

جدول المحتويات: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
احصل على النص الكامل

الكتروني كتاب الكتروني

13

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

منشور في 2005

جدول المحتويات: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
احصل على النص الكامل

الكتروني كتاب الكتروني

14

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

منشور في 2015

جدول المحتويات: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
احصل على النص الكامل

الكتروني كتاب الكتروني

15

Emerging Technologies for Information Systems, Computing, and Management

منشور في 2013

جدول المحتويات: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
احصل على النص الكامل

الكتروني كتاب الكتروني

16

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

منشور في 2010

جدول المحتويات: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
احصل على النص الكامل

الكتروني كتاب الكتروني

17

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

منشور في 2006

جدول المحتويات: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
احصل على النص الكامل

الكتروني كتاب الكتروني

18

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

منشور في 2014

جدول المحتويات: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
احصل على النص الكامل

الكتروني كتاب الكتروني

19

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

منشور في 2012

جدول المحتويات: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
احصل على النص الكامل

الكتروني كتاب الكتروني

20

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

منشور في 2014

جدول المحتويات: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث