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

Publicerad 2015

Innehållsförteckning: “...The Kinematics of Crystalline Arrays at the Subnanometric Level -- Comprehensive Theory...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2010

Innehållsförteckning: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2005

Innehållsförteckning: “... -- Evaluating Hierarchical Clustering of Search Results -- Counting Suffix Arrays and Strings -- Towards Real...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2010

Innehållsförteckning: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2012

Innehållsförteckning: “... Analysis System Based on a DSP -- Improved Neural Networks Based Method for Infrared Focal Plane Arrays...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2005

Innehållsförteckning: “... Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2007

Innehållsförteckning: “...-Objective-Trust Clustering Solution and Analysis in Mobile Ad Hoc Networks -- A New Method for Multi...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2005

Innehållsförteckning: “... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2005

Innehållsförteckning: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2013

Innehållsförteckning: “... Dispatch Problems -- Particle Swarm Optimization Based Optimal Reliability Design of Composite Electric...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2010

Innehållsförteckning: “... of Electrostatically Actuated Bistable Micro Beams -- Path Following and Numerical Continuation Methods for Non-Linear...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2007

Innehållsförteckning: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
Hämta fulltext

Elektronisk E-bok

14

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

av Spear, Chris., Spear, Chris.
Publicerad 2008

Innehållsförteckning: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
Hämta fulltext

Elektronisk E-bok

15

Carbon Nanomaterials in Clean Energy Hydrogen Systems

Publicerad 2008

Innehållsförteckning: “...- Thermally Controlled Hydrogen Storage System Using Novel Carbon Materials -- Composite Sorbents Based...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2008

Innehållsförteckning: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2015

Innehållsförteckning: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2015

Innehållsförteckning: “... of Linear Antenna Array using Taguchi’s Method -- A Novel Approach for Jamming and Tracking of Mobile...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2014

Innehållsförteckning: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
Hämta fulltext

Elektronisk E-bok

20

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Publicerad 2005

Innehållsförteckning: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen