Zoekresultaten - detection computation programming nets array data*

Alternatieven:
computation programming » communication programming , computation programmatic , computing programming
detection computation » detection computational , deduction computation , detection mutation
programming nets » programming net , programming sets , programming meets
nets array » sets arrays , lens array , nested array

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Volledige tekst

Elektronisch E-boek

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- International Grid CA Interworking, Peer Review and Policy Management Through the European DataGrid...”
Volledige tekst

Elektronisch E-boek

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... Frequency-Sensitive Sampling-Based Approach for Data Race Detection -- One-to-One Disjoint Path Covers...”
Volledige tekst

Elektronisch E-boek

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Volledige tekst

Elektronisch E-boek

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”
Volledige tekst

Elektronisch E-boek

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Volledige tekst

Elektronisch E-boek

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Gepubliceerd in 2007

Inhoudsopgave: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Volledige tekst

Elektronisch E-boek

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Gepubliceerd in 2012

Inhoudsopgave: “... HowNet-Based Multi-factor Word Similarity Algorithm Integrated of Result Modification -- Composite Data...”
Volledige tekst

Elektronisch E-boek

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Volledige tekst

Elektronisch E-boek

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Gepubliceerd in 2014

Inhoudsopgave: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Volledige tekst

Elektronisch E-boek

Advanced Electrical and Electronics Engineering Volume 2 /

Gepubliceerd in 2011

Inhoudsopgave: “... pump -- FPGA-Based PCI Data Acquisition Synchronization Card of Railway Clearance Detection System...”
Volledige tekst

Elektronisch E-boek

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...”
Volledige tekst

Elektronisch E-boek

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... When Mining Large Data Bases -- Improved Graph-Based Metrics for Clustering High-Dimensional Datasets...”
Volledige tekst

Elektronisch E-boek

Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries

Gepubliceerd in 2008

Inhoudsopgave: “... Drop and High Frequency Diminution Parameter from Strong Motion Data Recorded in Albania -- Seismicity...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken