检索结果 - detection computation programming semantics arrays a*

搜索替代词:
computation programming » communication programming , computation programmatic , computing programming
detection computation » detection computational , deduction computation , detection mutation
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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

出版 2010

书本目录: “... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

Emerging Technologies for Information Systems, Computing, and Management

出版 2013

书本目录: “... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

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...”
获取全文

电子电子书

缩小搜索