Automated continuous verification for numerical simulation

Automated continuous verification for numerical simulation

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Farrell, P, Piggott, MD, Gorman, G, Ham, D, Wilson, C, Bond, T
Формат:	Journal article
Хэвлэсэн:	2011

Ижил төстэй зүйлс

Spud 1.0: generalising and automating the user interfaces of scientific computer models
-н: Ham, D, зэрэг
Хэвлэсэн: (2009)

Conservative interpolation between unstructured meshes via supermesh construction
-н: Farrell, P, зэрэг
Хэвлэсэн: (2009)

Anisotropic mesh adaptivity for multi-scale ocean modelling
-н: Piggott, MD, зэрэг
Хэвлэсэн: (2009)

Numerical simulation & experimental verification of structural responses
-н: Fan, Sau Cheong, зэрэг
Хэвлэсэн: (2008)

Simulating cardiac electrophysiology using anisotropic mesh adaptivity
-н: Southern, J, зэрэг
Хэвлэсэн: (2010)

Parallel anisotropic mesh adaptivity with dynamic load balancing for cardiac electrophysiology
-н: Southern, J, зэрэг
Хэвлэсэн: (2012)

Automated verification of concurrent stochastic games
-н: Kwiatkowska, M, зэрэг
Хэвлэсэн: (2018)

Automated Verification Techniques for Probabilistic Systems.
-н: Forejt, V, зэрэг
Хэвлэсэн: (2011)

Automated Verification of Shape and Size
-н: Nguyen, Huu Hai, зэрэг
Хэвлэсэн: (2007)

Automated quantitative software verification
-н: Kattenbelt, M
Хэвлэсэн: (2010)

On automated verification of probabilistic programs
-н: Legay, A, зэрэг
Хэвлэсэн: (2008)

The automated verification of timewise refinement
-н: Roscoe, A
Хэвлэсэн: (2013)

Automated verification of group key agreement protocols
-н: Schmidt, B, зэрэг
Хэвлэсэн: (2014)

Safety verification for automated vehicle maneuvers
-н: Dolginova, Ekaterina, 1977-
Хэвлэсэн: (2009)

Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
-н: Lynch, Nancy A.
Хэвлэсэн: (2023)

A survey of automated techniques for formal software verification
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

A Survey of Automated Techniques for Formal Software Verification.
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

A Survey of Automated Techniques for Formal Software Verification
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

Hybrid OpenMP/MPI Anisotropic Mesh Smoothing
-н: Gorman, G, зэрэг
Хэвлэсэн: (2012)

Numerical simulation of nonlinear continuity equations by evolving diffeomorphisms
-н: Carrillo, JA, зэрэг
Хэвлэсэн: (2016)

Code generation for productive, portable, and scalable finite element simulation in Firedrake
-н: Betteridge, J, зэрэг
Хэвлэсэн: (2021)

Automating modular program verification by refining specifications
-н: Taghdiri, Mana, 1979-
Хэвлэсэн: (2008)

Electronic design automation : synthesis, verification, and test /
-н: Wang, Laung-Terng, зэрэг
Хэвлэсэн: (2009)

FPGA based automated hardware verification system /
-н: Kee, Woei Chee , author, зэрэг
Хэвлэсэн: (2009)

Improving automated protocol verification: real world cryptography
-н: Jackson, D
Хэвлэсэн: (2020)

Automated Model−based Verification of Object−Oriented Code
-н: Ostroff, J, зэрэг
Хэвлэсэн: (2006)

Automated Model−Based Verification of Object−Oriented Code
-н: Ostroff, J, зэрэг
Хэвлэсэн: (2006)

Anisotropic mesh adaptivity for cardiac electrophysiology
-н: Southern, J, зэрэг
Хэвлэсэн: (2010)

Verification of tree induced suction with numerical model
-н: Mohd Fakhrurrazi, Ishak, зэрэг
Хэвлэсэн: (2021)

Automated verification of code automatically generated from Simulink (R)
-н: O'Halloran, C
Хэвлэсэн: (2013)

Automated verification of model-based programs under uncertainty
-н: Mahtab, Tazeen, 1981-
Хэвлэсэн: (2005)

Automated software verification through empirical-based methods
-н: Asim Saghir Sheikh.
Хэвлэсэн: (2008)

Automated design and verification of localized DNA computation circuits
-н: Boemo, M, зэрэг
Хэвлэсэн: (2015)

StocHy: automated verification and synthesis of stochastic processes
-н: Cauchi, N, зэрэг
Хэвлэсэн: (2019)

jStar−eclipse: an IDE for automated verification of Java programs
-н: Naudziuniene, D, зэрэг
Хэвлэсэн: (2011)

Numerical analytic continuation
-н: Trefethen, LN
Хэвлэсэн: (2023)

Thermal management of Dell Precision 470 pc casing : a numerical simulation and experimental verification /
-н: Mohd. Ashraf Baharudin, 1985-, зэрэг
Хэвлэсэн: (2008)

Production automation and numerical control/
-н: 234430 Leone, W. C.
Хэвлэсэн: (1967)

Verification of numerical procedures for the analysis of soil liquefaction problems /
-н: International Conference on the Verification of Numerical Procedures for the Analysis of Soil Liquefaction Problems (1993 : Davis, California), зэрэг
Хэвлэсэн: (1993)

Simulation and verification for computational modelling of signalling pathways.
-н: Kwiatkowska, M, зэрэг
Хэвлэсэн: (2006)