检索结果 - detection computer programming nets array 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

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

出版 2005

书本目录: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
获取全文

电子电子书

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

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

出版 2010

书本目录: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
获取全文

电子电子书

5

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

出版 2013

书本目录: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
获取全文

电子电子书

6

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

出版 2005

书本目录: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
获取全文

电子电子书

7

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

电子电子书

8

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

出版 2010

书本目录: “...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”
获取全文

电子电子书

9

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

出版 2010

书本目录: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
获取全文

电子电子书

10

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

出版 2007

书本目录: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
获取全文

电子电子书

11

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

出版 2010

书本目录: “... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...”
获取全文

电子电子书

12

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

出版 2010

书本目录: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
获取全文

电子电子书

13

Advanced Electrical and Electronics Engineering Volume 2 /

出版 2011

书本目录: “...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...”
获取全文

电子电子书

14

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

出版 2012

书本目录: “... for Memristive Neural Network -- Aimbot Detection in Online FPS Games Using a Heuristic Method Based...”
获取全文

电子电子书

15

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

出版 2014

书本目录: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
获取全文

电子电子书

16

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

出版 2005

书本目录: “... Between SQLf and Skyline -- Resolution of Semantic Queries on a Set of Web Services -- Detecting...”
获取全文

电子电子书

17

Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries

出版 2008

书本目录: “... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...”
获取全文

电子电子书

缩小搜索