תוצאות חיפוש - detection computers 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 and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

יצא לאור 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

תוכן הענינים: “... Matching -- A Novel Non-Repudiate Scheme with Voice Feature Marking.-A Study of Spam Detection algorithm...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

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

יצא לאור 2007

תוכן הענינים: “... -- The Changing Impact of Semiconductor Technology on Processor Architecture -- Cluster Computing -- A Windows...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

תוכן הענינים: “... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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 Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

תוכן הענינים: “... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש