Sökresultat - 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 /

Publicerad 2005

Innehållsförteckning: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2005

Innehållsförteckning: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2007

Innehållsförteckning: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2010

Innehållsförteckning: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2013

Innehållsförteckning: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2005

Innehållsförteckning: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2014

Innehållsförteckning: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2010

Innehållsförteckning: “...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2010

Innehållsförteckning: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2010

Innehållsförteckning: “... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2010

Innehållsförteckning: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
Hämta fulltext

Elektronisk E-bok

13

Advanced Electrical and Electronics Engineering Volume 2 /

Publicerad 2011

Innehållsförteckning: “...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2012

Innehållsförteckning: “... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2014

Innehållsförteckning: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2005

Innehållsförteckning: “... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”
Hämta fulltext

Elektronisk E-bok

17

Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries

Publicerad 2008

Innehållsförteckning: “... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen