Search Results - problems method https composition array https*

1

Advancement of Optical Methods in Experimental Mechanics, Volume 3 Proceedings of the 2014 Annual Conference on Experimental and Applied Mechanics /

Published 2015

Table of Contents: “...The Kinematics of Crystalline Arrays at the Subnanometric Level -- Comprehensive Theory...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
View full text

Electronic eBook

3

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Evaluating Hierarchical Clustering of Search Results -- Counting Suffix Arrays and Strings -- Towards Real...”
View full text

Electronic eBook

4

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
View full text

Electronic eBook

5

Artificial Intelligence and Computational Intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings /

Published 2012

Table of Contents: “... Analysis System Based on a DSP -- Improved Neural Networks Based Method for Infrared Focal Plane Arrays...”
View full text

Electronic eBook

6

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, No...

Published 2005

Table of Contents: “... Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve...”
View full text

Electronic eBook

7

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...-Objective-Trust Clustering Solution and Analysis in Mobile Ad Hoc Networks -- A New Method for Multi...”
View full text

Electronic eBook

8

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”
View full text

Electronic eBook

9

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Published 2010

Table of Contents: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
View full text

Electronic eBook

11

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... Dispatch Problems -- Particle Swarm Optimization Based Optimal Reliability Design of Composite Electric...”
View full text

Electronic eBook

12

Advanced Materials and Technologies for Micro/Nano-Devices, Sensors and Actuators

Published 2010

Table of Contents: “... of Electrostatically Actuated Bistable Micro Beams -- Path Following and Numerical Continuation Methods for Non-Linear...”
View full text

Electronic eBook

13

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

Published 2007

Table of Contents: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
View full text

Electronic eBook

14

Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2 /

Published 2015

Table of Contents: “... of Linear Antenna Array using Taguchi’s Method -- A Novel Approach for Jamming and Tracking of Mobile...”
View full text

Electronic eBook

15

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
View full text

Electronic eBook

16

Theory and Applications of Applied Electromagnetics APPEIC 2014 /

Published 2015

Table of Contents: “... Multiple Feedback Chebyshev Low Pass Filter -- Composites Based on Rice Husk Ash/Polyester for Use...”
View full text

Electronic eBook

17

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
View full text

Electronic eBook

18

Carbon Nanomaterials in Clean Energy Hydrogen Systems

Published 2008

Table of Contents: “...- Thermally Controlled Hydrogen Storage System Using Novel Carbon Materials -- Composite Sorbents Based...”
View full text

Electronic eBook

19

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
View full text

Electronic eBook

20

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Published 2015

Table of Contents: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
View full text

Electronic eBook

Narrow Search