Hakutulokset - program interfaces processing proceedings array https

1

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Julkaistu 2006

Sisällysluettelo: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2015

Sisällysluettelo: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2012

Sisällysluettelo: “... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”
Hae kokoteksti

Elektroninen E-kirja

4

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
Hae kokoteksti

Elektroninen E-kirja

5

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012 Proceedings of the Fifth...

Julkaistu 2014

Sisällysluettelo: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2005

Sisällysluettelo: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Hae kokoteksti

Elektroninen E-kirja

7

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Modulations in Low-Frequency EEG Oscillations in the Processing of Tactile Surfaces -- Power Consumption...”
Hae kokoteksti

Elektroninen E-kirja

8

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Hae kokoteksti

Elektroninen E-kirja

9

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 Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Hae kokoteksti

Elektroninen E-kirja

10

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Predictive Model for Closed-Loop Collision Avoidance in a Fly-Robotic Interface -- Neuromechanical Simulation...”
Hae kokoteksti

Elektroninen E-kirja

11

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Rebuilding the World from Views -- Approximate Query Processing in Sensor Networks -- Web Data I -- Duplicate...”
Hae kokoteksti

Elektroninen E-kirja

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua