Rezultati - integration simulation program program coverage https

Poišči alternative:
integration simulation » interaction simulation , integrating simulation , integrated simulation
simulation program » education program
program coverage » problem coverage , program overall , programs average
program program » programs program , programming program
coverage https » coverage status , coverage holes , coverage rates

Introduction to Probability Simulation and Gibbs Sampling with R

od Suess, Eric A., Suess, Eric A., Trumbo, Bruce E.
Izdano 2010

Kazalo: “...Introductory Examples: Simulation, Estimation, and Graphics -- Generating Random Numbers -- Monte...”
Polni tekst

Elektronski eKnjiga

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Izdano 2010

Kazalo: “... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”
Polni tekst

Elektronski eKnjiga

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Izdano 2012

Kazalo: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2012

Kazalo: “... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”
Polni tekst

Elektronski eKnjiga

Computational Physics Simulation of Classical and Quantum Systems /

od Scherer, Philipp O.J., Scherer, Philipp O.J.
Izdano 2010

Kazalo: “... Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
Polni tekst

Elektronski eKnjiga

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Polni tekst

Elektronski eKnjiga

Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings /

Izdano 2010

Kazalo: “... and Deploying Long Distance Wireless Sensor Networks: The Integration of Simulation and Experimentation -- A...”
Polni tekst

Elektronski eKnjiga

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Izdano 2010

Kazalo: “... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”
Polni tekst

Elektronski eKnjiga

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Agent Oriented Data Integration -- Positions in Engineering Agent Oriented Systems -- AOSE and Organic...”
Polni tekst

Elektronski eKnjiga

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /

Izdano 2014

Kazalo: “... -- Contextual cognition in social simulation -- SocioPlatform: A Platform for Social Context-Aware Applications...”
Polni tekst

Elektronski eKnjiga

Verification Methodology Manual for SystemVerilog

od Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Izdano 2006

Kazalo: “... -- Coverage-Driven Verification -- Assertions for Formal Tools -- System-Level Verification -- Processor...”
Polni tekst

Elektronski eKnjiga

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Izdano 2008

Kazalo: “... -- An Integrated Method for GML Application Schema Match -- Application of Classification Methods for Forecasting...”
Polni tekst

Elektronski eKnjiga

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 /

Izdano 2008

Kazalo: “... the Quality of a SystemC Testbench by Using Code Coverage Techniques -- SystemC-Based Simulation of the MICAS...”
Polni tekst

Elektronski eKnjiga

Ingredients for Successful System Level Design Methodology

od Patel, Hiren D., Patel, Hiren D., Shukla, Sandeep Kumar.
Izdano 2008

Kazalo: “...Related Work -- Background -- Behavioral Hierarchy with Hierarchical FSMs (HFSMs) -- Simulation...”
Polni tekst

Elektronski eKnjiga

Numerical Methods with Worked Examples: Matlab Edition

od Woodford, C., Woodford, C., Phillips, C.
Izdano 2012

Kazalo: “.... Numerical Integration -- 6. Numerical Differentiation -- 7. Linear Programming -- 8. Optimization -- 9...”
Polni tekst

Elektronski eKnjiga

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 201...

Izdano 2010

Kazalo: “... for Privacy Preserving Data Mining -- On a Novel Simulation Framework and Scheduling Model Integrating...”
Polni tekst

Elektronski eKnjiga

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Izdano 2014

Kazalo: “... -- Modelling - Simulation of an Under Ground Wireless Communication Channel -- Review on Heart Sound Analysis...”
Polni tekst

Elektronski eKnjiga

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Izdano 2014

Kazalo: “... of Framework of Mobile IP and MANET Integration -- Delay Analysis Various Links Using OPNET Simulator...”
Polni tekst

Elektronski eKnjiga

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Izdano 2010

Kazalo: “... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”
Polni tekst

Elektronski eKnjiga

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Izdano 2010

Kazalo: “... Concurrent Link Failure for Mobile Ad Hoc Networks -- A Simulation-Based Performance Analysis of Various...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje