תוצאות חיפוש - detection computing programming semantics arrays a*

1

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

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

2

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

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

3

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

יצא לאור 2010

תוכן הענינים: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
קבל טקסט מלא

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

4

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

יצא לאור 2010

תוכן הענינים: “... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”
קבל טקסט מלא

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

5

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

יצא לאור 2005

תוכן הענינים: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
קבל טקסט מלא

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

6

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

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

7

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

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

8

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

יצא לאור 2014

תוכן הענינים: “... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”
קבל טקסט מלא

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

9

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

יצא לאור 2007

תוכן הענינים: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
קבל טקסט מלא

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

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

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

12

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

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

13

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

יצא לאור 2010

תוכן הענינים: “... -- Correlation-Based Intrinsic Image Extraction from a Single Image -- ADICT: Accurate Direct and Inverse Color...”
קבל טקסט מלא

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

14

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

יצא לאור 2015

תוכן הענינים: “... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”
קבל טקסט מלא

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

15

Emerging Technologies for Information Systems, Computing, and Management

יצא לאור 2013

תוכן הענינים: “... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”
קבל טקסט מלא

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

16

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

יצא לאור 2006

תוכן הענינים: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
קבל טקסט מלא

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

17

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

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

18

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

יצא לאור 2012

תוכן הענינים: “... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”
קבל טקסט מלא

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

19

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

יצא לאור 2014

תוכן הענינים: “... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...”
קבל טקסט מלא

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

20

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

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

צמצם חיפוש