Resultados da pesquisa - problems 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 /

Publicado em 2015

Sumário: “...The Kinematics of Crystalline Arrays at the Subnanometric Level -- Comprehensive Theory...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2010

Sumário: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

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

Publicado em 2005

Sumário: “... -- Evaluating Hierarchical Clustering of Search Results -- Counting Suffix Arrays and Strings -- Towards Real...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

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

Publicado em 2010

Sumário: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

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

Publicado em 2012

Sumário: “... Analysis System Based on a DSP -- Improved Neural Networks Based Method for Infrared Focal Plane Arrays...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

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

Publicado em 2007

Sumário: “...-Objective-Trust Clustering Solution and Analysis in Mobile Ad Hoc Networks -- A New Method for Multi...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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

Publicado em 2005

Sumário: “... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

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

Publicado em 2005

Sumário: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

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

Publicado em 2013

Sumário: “... Dispatch Problems -- Particle Swarm Optimization Based Optimal Reliability Design of Composite Electric...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

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

Publicado em 2010

Sumário: “... of Electrostatically Actuated Bistable Micro Beams -- Path Following and Numerical Continuation Methods for Non-Linear...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

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

Publicado em 2007

Sumário: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

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

Por Spear, Chris., Spear, Chris.
Publicado em 2008

Sumário: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

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

Publicado em 2014

Sumário: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

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

Publicado em 2015

Sumário: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Theory and Applications of Applied Electromagnetics APPEIC 2014 /

Publicado em 2015

Sumário: “... Multiple Feedback Chebyshev Low Pass Filter -- Composites Based on Rice Husk Ash/Polyester for Use...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

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

Publicado em 2008

Sumário: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Carbon Nanomaterials in Clean Energy Hydrogen Systems

Publicado em 2008

Sumário: “...- Thermally Controlled Hydrogen Storage System Using Novel Carbon Materials -- Composite Sorbents Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

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

Publicado em 2015

Sumário: “... of Linear Antenna Array using Taguchi’s Method -- A Novel Approach for Jamming and Tracking of Mobile...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa