Resultados da pesquisa - interactive simulation programs structured arrays https

Pesquisas alternativas:
interactive simulation » interactive simulations , interactive visualization
simulation programs » simulation program , simulation programming , education programs
programs structured » program structure , program structures , diagrams structures
structured arrays » structures array , structures arrayed , structured overlays
arrays https » arrays heaps , arrays lotus

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Publicado em 2015

Sumário: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Obter o texto integral

Recurso Electrónico livro electrónico

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Publicado em 2012

Sumário: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
Obter o texto integral

Recurso Electrónico livro electrónico

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado em 2012

Sumário: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Obter o texto integral

Recurso Electrónico livro electrónico

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Obter o texto integral

Recurso Electrónico livro electrónico

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicado em 2014

Sumário: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2012

Sumário: “... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obter o texto integral

Recurso Electrónico livro electrónico

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Obter o texto integral

Recurso Electrónico livro electrónico

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Publicado em 2008

Sumário: “... Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual...”
Obter o texto integral

Recurso Electrónico livro electrónico

Glycoinformatics

Publicado em 2015

Sumário: “...: Application of the Computer Program CASPER in Structural Analysis -- Handling and Conversion of Carbohydrate...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

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

Sumário: “... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
Obter o texto integral

Recurso Electrónico livro electrónico

Applications of Soft Computing Recent Trends /

Publicado em 2006

Sumário: “... Curves using Simulated Evolution on Control Parameters -- Control and Robotics -- Design of A Takagi...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advanced Electrical and Electronics Engineering Volume 2 /

Publicado em 2011

Sumário: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
Obter o texto integral

Recurso Electrónico livro electrónico

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Publicado em 2015

Sumário: “.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”
Obter o texto integral

Recurso Electrónico livro electrónico

Emerging Technologies for Information Systems, Computing, and Management

Publicado em 2013

Sumário: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Obter o texto integral

Recurso Electrónico livro electrónico

High Performance Computing in Science and Engineering ' 06 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2006 /

Publicado em 2007

Sumário: “... Water Optical Absorption: Large-Scale First-Principles Simulations -- The Electronic Structures...”
Obter o texto integral

Recurso Electrónico livro electrónico

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Publicado em 2015

Sumário: “... genetic programming -- MEMS Dual Axis Accelerometer with H-T Shape Structure -- Prior Data Quality...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa