Relevant bibliographies by topics / Dynamic verification

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Dynamic verification'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Dynamic verification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Dynamic verification"

1

Worthington, T. K., J. J. Chainer, J. D. Willford, and S. C. Gunderson. "IBM dynamic signature verification." Computers & Security 5, no. 2 (June 1986): 167–68. http://dx.doi.org/10.1016/0167-4048(86)90146-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Al-Shoshan, Abdullah I. "Signature Verification Using Dynamic Biometrics." Advanced Science Letters 22, no. 10 (October 1, 2016): 2992–94. http://dx.doi.org/10.1166/asl.2016.7096.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Venkat, K., Liang Chen, Ichiang Lin, P. Mistry, and P. Madhani. "Timing verification of dynamic circuits." IEEE Journal of Solid-State Circuits 31, no. 3 (March 1996): 452–55. http://dx.doi.org/10.1109/4.494208.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Meixner, Albert, and Daniel J. Sorin. "Dynamic Verification of Sequential Consistency." ACM SIGARCH Computer Architecture News 33, no. 2 (May 2005): 482–93. http://dx.doi.org/10.1145/1080695.1070010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Marmsoler, Diego, and Ana Petrovska. "Runtime verification for dynamic architectures." Journal of Logical and Algebraic Methods in Programming 118 (January 2021): 100618. http://dx.doi.org/10.1016/j.jlamp.2020.100618.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Trokoz, D. A. "Direct dynamic biometric verification technique." Вестник Ростовского государственного университета путей сообщения, no. 1 (2021): 70–79. http://dx.doi.org/10.46973/0201-727x_2021_1_70.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Asadi, Farshid, and Ali Heydari. "Analytical dynamic modeling of Delta robot with experimental verification." Proceedings of the Institution of Mechanical Engineers, Part K: Journal of Multi-body Dynamics 234, no. 3 (June 3, 2020): 623–30. http://dx.doi.org/10.1177/1464419320929160.

Full text
Abstract:
In this paper, an explicit dynamic model of Delta robot is obtained analytically. The main contribution of this work is that, unlike existing prior work, the final dynamics model is given directly in the form of [Formula: see text], with explicit expressions for M, C and G. This is of great importance, since many advanced control techniques like Optimal Control need dynamic model in an explicit form, i.e. time derivative of state vector given explicitly in terms of the states and control vectors. To this goal, first, velocity and acceleration analysis is done by differentiating robot's geometrical loops directly. Then, Jacobian matrices are calculated to have kinematic relations in a more compact form. After that, principle of virtual work is implemented to derive the dynamic equations. In this part, Jacobian matrices are substituted into dynamic model. This is unlike other referenced works on Delta robot dynamics that need to continue the derivation in symbolic software or derive the model implicitly. Using Jacobians, dramatically simplifies the final explicit dynamic model. Therefore, the final dynamic equations are calculated in a straightforward manner without any use of symbolic calculation software. After all, the presented model is verified with an experimental setup. The model shows good accuracy in terms of torque prediction.
APA, Harvard, Vancouver, ISO, and other styles
8

., EdigaLingappa, Geetavani B. ., and JambulaHareesha . "Online Signature Verification using Dynamic Properties." International Journal of Scientific Research in Computer Science and Engineering 5, no. 6 (December 31, 2017): 33–38. http://dx.doi.org/10.26438/ijsrcse/v5i6.3338.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bergadano, F., D. Gunetti, and C. Picardi. "Identity verification through dynamic keystroke analysis." Intelligent Data Analysis 7, no. 5 (November 17, 2003): 469–96. http://dx.doi.org/10.3233/ida-2003-7506.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wei, Zukuan, Hongyeon Kim, Youngkyun Kim, and Jaehong Kim. "Membership Verification in Authenticating Dynamic Sets." International Journal of Online Engineering (iJOE) 9, no. 5 (September 15, 2013): 62. http://dx.doi.org/10.3991/ijoe.v9i5.2973.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Dynamic verification"

1

Ji, Ran. "Automatic Verification of Dynamic Data-Dependent Programs." Thesis, Uppsala University, Department of Information Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-103021.

Full text
Abstract:

We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and the edges reflect the pointer structure between the cells of the heap. Each cell contains a set of variables which range over the natural numbers. Our method relies on standard backward reachability analysis, where the main idea is to use a simple set of predicates, called signatures, in order to represent bad sets of heaps. Examples of bad heaps are those which contain either garbage, lists which are not well-formed, or lists which are not sorted. We present the results for the case of programs with a single next-selector, and where variables may be compared for equality or inequality. This allows us to verify for instance that a program, like bubble sort or insertion sort, returns a list which is well-formed and sorted, or that the merging of two sorted lists is a new sorted list. We will report on the result of running a prototype based on the method on a number of programs.

APA, Harvard, Vancouver, ISO, and other styles
2

Yogendrakumar, Muthucumarasamy. "Dynamic soil-structure interaction : theory and verification." Thesis, University of British Columbia, 1988. http://hdl.handle.net/2429/29222.

Full text
Abstract:
A nonlinear effective stress method of analysis for determining the static and dynamic response of 2-D embankments and soil-structure interaction systems is presented. The method of analysis is incorporated in the computer program TARA-3. The constitutive model in TARA-3 is expressed as a sum of a shear stress model and a normal stress model. The behavior in shear is assumed to be nonlinear and hysteretic, exhibiting Masing behavior under unloading and reloading. The response of the soil to uniform all round pressure is assumed to nonlinearly elastic and dependent on the mean normal effective stresses. The porewater pressures required in the dynamic effective stress method of analysis are obtained by the Martin-Finn-Seed porewater pressure generation model modified to include the effect of initial static shear. During dynamic analysis, the effective stress regime and consequently the soil properties are modified for the effect of seismically induced porewater pressures. A very attractive feature of TARA-3 is that all the parameters required for an analysis may be obtained from conventional geotechnical engineering tests either in-situ or in laboratory. A novel feature of the program is that the dynamic analysis can be conducted starting from the static stress-strain condition which leads to accumulating permanent deformations in the direction of the smallest residual resistance to deformation. The program can also start the dynamic analysis from a zero stress-zero strain condition as is done conventionally in engineering practice. The program includes an energy transmitting base and lateral energy transmitting boundaries to simulate the radiation of energy which occurs in the field. The program predicts accelerations, porewater pressures, instantaneous dynamic deformations, permanent deformations due to the hysteretic stress-strain response, deformations due to gravity acting on the softening soil and deformations due to consolidation as the seismic porewater pressures dissipate. The capability of TARA-3 to model the response of soil structures and soil-structure interaction systems during earthquakes has been validated using data from simulated earthquake tests on a variety of centrifuged models conducted on the large geotechnical centrifuge at Cambridge University in the United Kingdom. The data base includes acceleration time histories, porewater pressure time histories and deformations at many locations within the models. The program was able to successfully simulate acceleration and porewater pressure time histories and residual deformations in the models. The validation program suggests that TARA-3 is an efficient and reliable program for the nonlinear effective stress analysis of many important problems in geotechnical engineering for which 2-D plane strain representation is adequate.
Applied Science, Faculty of
Civil Engineering, Department of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
3

Becker, Basil, Holger Giese, Stefan Neumann, and System Analysis and Modeling Group. "Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations." Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2009/3047/.

Full text
Abstract:
Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to ensure their correct and safe operation. We present in this paper our approach for modeling and verifying such dynamic collaborations. Modeling is supported using a well-defined subset of UML class diagrams, behavioral rules for the structural dynamics, and UML state machines for the role behavior. To be also able to verify the resulting service-oriented systems, we extended our former results for the automated verification of systems with structural dynamics [7, 8] and developed a compositional reasoning scheme, which enables the reuse of verification results. We outline our approach using the example of autonomous vehicles that use such dynamic collaborations via ad-hoc networking to coordinate and optimize their joint behavior.
Bei der Modellierung Service-orientierter Systeme werden Kollaborationen verwendet, um die Koordination mehrerer Rollen durch Service-Verträge zu beschreiben. Dynamische Kollaborationen erlauben ein Hinzufügen und Entfernen von Rollen zur Kollaboration zur Laufzeit, wodurch eine komplexe strukturelle Dynamik entstehen kann. Die automatische Analyse service-orientierter Systeme wird durch diese erheblich erschwert. In dieser Arbeit stellen wir einen Ansatz zur Modellierung und Verifikation solcher dynamischer Kollaborationen vor. Eine spezielle Untermenge der UML ermöglicht die Modellierung, wobei Klassendiagramme, Verhaltensregeln für die strukturelle Dynamik und UML Zustandsdiagramme für das Verhalten der Rollen verwendet werden. Um die Verifikation der so modellierten service-orientierten Systeme zu ermöglichen, erweiterten wir unsere früheren Ergebnisse zur Verifikation von Systemen mit struktureller Dynamik [7,8] und entwickelten einen kompositionalen Verifikationsansatz. Der entwickelte Verifikationsansatz erlaubt es Ergebnisse wiederzuverwenden. Die entwickelten Techniken werden anhand autonomer Fahrzeuge, die dynamische Kollaborationen über ad-hoc Netzwerke zur Koordination und Optimierung ihres gemeinsamen Verhaltens nutzen, exemplarisch vorgestellt.
APA, Harvard, Vancouver, ISO, and other styles
4

Woo, Yan, and 胡昕. "A dynamic integrity verification scheme for tamper-resistancesoftware." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2005. http://hub.hku.hk/bib/B34740478.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Ying. "The role of dynamic features in speaker verification." Thesis, University of Birmingham, 2010. http://etheses.bham.ac.uk//id/eprint/596/.

Full text
Abstract:
The thesis presents study to explore the role of dynamic features in speaker verification. Based on the theory that dynamic information should contain important speaker information, modelling the dynamics should have the potential to improve the speaker verification performance. Experiments on TD-SV using segmental hidden Markov models (SHMMs) on the YOHO database show performance improvement. However there is no significant improvement for TI-SV from experiments on the Switchboard database, using segmental GMMs. Analysis of the TD-SV results confirms that the speech dynamics modeled by SHMMs contribute more to the SV accuracy. Analysis of the TI-SV results indicates that the lack of speech dynamic information is a feature of GMM systems. It seems that the priority of the maximum likelihood training algorithm is to model stationary regions, and the role of dynamic features in GMM system, is to ensure that the classification focuses on static regions rather than to model dynamics. Study on TI-SV was carried out using conventional GMMs. Without RASTA filtering, the `delta-only' system works best. However, after RASTA filtering, the `static-plus-delta' system performs best. The results suggest that the good performance of the `delta-only' system before RASTA is mainly due to the noise robustness of the delta parameters.
APA, Harvard, Vancouver, ISO, and other styles
6

Reichl, John Vincent. "Inverter Dynamic Electro-Thermal Simulation with Experimental Verification." Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/36100.

Full text
Abstract:
A full electro-thermal simulation of a three-phase space-vector-modulated (SVM) inverter is performed and validated with measurements. Electrical parameters are extracted over temperature for the insulated gate bipolar transistor (IGBT) and diode electro-thermal models. A thermal network methodology that includes thermal coupling between devices is applied to a six-pack module package containing multiple IGBT and diode chips. The electro-thermal device models and six-pack module thermal model are used to simulate SVM inverter operation at several power levels. Good agreement between model and measurement is obtained for steady state operation of the three-phase inverter. In addition, transient heating of a single IGBT in the six-pack module is modeled and validated, yielding good agreement.
Master of Science
APA, Harvard, Vancouver, ISO, and other styles
7

Woo, Yan. "A dynamic integrity verification scheme for tamper-resistance software." Click to view the E-thesis via HKUTO, 2005. http://sunzi.lib.hku.hk/hkuto/record/B34740478.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ibrahim, Alaa E. "Scenario-based verification and validation of dynamic UML specifications." Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=1799.

Full text
Abstract:
Thesis (M.S.)--West Virginia University, 2001.
Title from document title page. Document formatted into pages; contains x, 143 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 96-99).
APA, Harvard, Vancouver, ISO, and other styles
9

Neykova, Rumyana. "Multiparty session types for dynamic verification of distributed systems." Thesis, Imperial College London, 2016. http://hdl.handle.net/10044/1/45276.

Full text
Abstract:
In large-scale distributed systems, each application is realised through interactions among distributed components. To guarantee safe communication (no deadlocks and communication mismatches) we need programming languages and tools that structure, manage, and policy-check these interactions. Multiparty session types (MPST), a typing discipline for structured interactions between communicating processes, offers a promising approach. To date, however, session types applications have been limited to static verification, which is not always feasible and is often restrictive in terms of programming API and specifying policies. This thesis investigates the design and implementation of a runtime verification framework, ensuring conformance between programs and specifications. Specifications are written in Scribble, a protocol description language formally founded on MPST. The central idea of the approach is a dynamic monitor, which takes a form of a communicating finite state machine, automatically generated from Scribble specifications, and a communication runtime stipulating a message format. We extend and apply Scribble-based runtime verification in manifold ways. First, we implement a Python library, facilitated with session primitives and verification runtime. We integrate the library in a large cyber-infrastructure project for oceanography. Second, we examine multiple communication patterns, which reveal and motivate two novel extensions, asynchronous interrupts for verification of exception handling behaviours, and time constraints for enforcement of realtime protocols. Third, we apply the verification framework to actor programming by augmenting an actor library in Python with protocol annotations. For both implementations, measurements show Scribble-based dynamic checking delivers minimal overhead and allows expressive specifications. Finally, we explore a static analysis of Scribble specifications as to efficiently compute a safe global state from which a monitored system of interacting processes can be recovered after a failure. We provide an implementation of a verification framework for recovery in Erlang. Benchmarks show our recovery strategy outperforms a built-in static recovery strategy, in Erlang, on a number of use cases.
APA, Harvard, Vancouver, ISO, and other styles
10

Cheng, Xueqi. "Exploring Hybrid Dynamic and Static Techniques for Software Verification." Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/26216.

Full text
Abstract:
With the growing importance of software on which human lives increasingly depend, the correctness requirement of the underlying software becomes especially critical. However, the increasing complexities and sizes of modern software systems pose special challenges on the effectiveness as well as efficiency of software verification. Two major obstacles include the quality of test generation in terms of error detection in software testing and the state space explosion problem in software formal verification (model checking). In this dissertation, we investigate several hybrid techniques that explore dynamic (with program execution), static (without program execution) as well as the synergies of multiple approaches in software verification from the perspectives of testing and model checking. For software testing, a new simulation-based internal variable range coverage metric is proposed with the goal of enhancing the error detection capability of the generated test data when applied as the target metric. For software model checking, we utilize various dynamic analysis methods, such as data mining, swarm intelligence (ant colony optimization), to extract useful high-level information from program execution data. Despite being incomplete, dynamic program execution can still help to uncover important program structure features and variable correlations. The extracted knowledge, such as invariants in different forms, promising control flows, etc., is then used to facilitate code-level program abstraction (under-approximation/over-approximation), and/or state space partition, which in turn improve the performance of property verification. In order to validate the effectiveness of the proposed hybrid approaches, a wide range of experiments on academic and real-world programs were designed and conducted, with results compared against the original as well as the relevant verification methods. Experimental results demonstrated the effectiveness of our methods in improving the quality as well as performance of software verification. For software testing, the newly proposed coverage metric constructed based on dynamic program execution data is able to improve the quality of test cases generated in terms of mutation killing â a widely applied measurement for error detection. For software model checking, the proposed hybrid techniques greatly take advantage of the complementary benefits from both dynamic and static approaches: the lightweight dynamic techniques provide flexibility in extracting valuable high-level information that can be used to guide the scope and the direction of static reasoning process. It consequently results in significant performance improvement in software model checking. On the other hand, the static techniques guarantee the completeness of the verification results, compensating the weakness of dynamic methods.
Ph. D.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Dynamic verification"

1

Wei©, Benjamin. Deductive verification of object-oriented software: Dynamic frames, dynamic logic and predicate abstraction. Hannover: Technische Informationsbibliothek u. Universita tsbibliothek, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Escriva, A. LAPUR5.2 verification and user's manual. Washington, D.C: U.S. Nuclear Regulatory Commission, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yu, Xiaolei, Donghua Wang, and Zhimin Zhao. Semi-physical Verification Technology for Dynamic Performance of Internet of Things System. Singapore: Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-1759-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Russell, Richard Allen. A space station structures and assembly verification experiment-save. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Allwes, Richard A. Arch canopy verification tests. Washington, D.C: Bureau of Mines, U.S. Dept. of the Interior, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Marvin, Joseph G. Wind tunnel requirements for computational fluid dynamics code verification. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Happian-Smith, Julian. Motorcycle and rider dynamics in frontal collision, simulation and verification. Uxbridge: Brunel University, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Maddock, Bill. Verification of CSA Code for fixed offshore steel structures. [Calgary?]: Environmental Studies Research Funds, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Allyn, Norman. Verification of CSA Code for fixed offshore concrete structures. [Calgary]: National Energy Board, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

International, Conference on the Verification of Numerical Procedures for the Analysis of Soil Liquefaction Problems (1993 Davis Calif ). Verification of numerical procedures for the analysis of soil liquefaction problems: Proceedings of the International Conference on the Verification of Numerical Proceedures for the Analysis of Soil Liquifaction Problems, Davis, California, USA, 17-20 October 1993. Rotterdam: A.A. Balkema, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Dynamic verification"

1

Simsa, Jiri, Randy Bryant, Garth Gibson, and Jason Hickey. "Scalable Dynamic Partial Order Reduction." In Runtime Verification, 19–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Erickson, John, Stephen Freund, and Madanlal Musuvathi. "Dynamic Analyses for Data-Race Detection." In Runtime Verification, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Serebryany, Konstantin, Alexander Potapenko, Timur Iskhodzhanov, and Dmitriy Vyukov. "Dynamic Race Detection with LLVM Compiler." In Runtime Verification, 110–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Laski, Janusz, and William Stanley. "Dynamic Program Analysis." In Software Verification and Analysis, 203–19. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ganai, Malay K. "Dynamic Livelock Analysis of Multi-threaded Programs." In Runtime Verification, 3–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Eyolfson, Jon, and Patrick Lam. "Detecting Unread Memory Using Dynamic Binary Translation." In Runtime Verification, 49–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mutlu, Erdal, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, and Osman S. Unsal. "Dynamic Verification for Hybrid Concurrent Programming Models." In Runtime Verification, 156–61. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11164-3_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Yeolekar, Anand. "Improving Dynamic Inference with Variable Dependence Graph." In Runtime Verification, 301–6. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11164-3_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Albert, Elvira, Miguel Gómez-Zamalloa, Miguel Isabel, and Albert Rubio. "Constrained Dynamic Partial Order Reduction." In Computer Aided Verification, 392–410. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96142-2_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Soeken, Mathias, and Rolf Drechsler. "Verification of Dynamic Aspects." In Formal Specification Level, 109–29. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08699-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Dynamic verification"

1

Yang, Jin, and Avi Puder. "Tightly integrate dynamic verification with formal verification." In the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120860.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ahmed, Islam, Hassan Mostafa, and Ahmed Nader Mohieldin. "Dynamic partial reconfiguration verification using assertion based verification." In 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS). IEEE, 2018. http://dx.doi.org/10.1109/dtis.2018.8368552.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pakulin, Nikolay. "Dynamic verification of hybrid systems." In 2013 Tools & Methods of Program Analysis (TMPA). IEEE, 2013. http://dx.doi.org/10.1109/tmpa.2013.7163723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

George, Susan E. "Biometric verification in dynamic writing." In AeroSense 2002, edited by Harold H. Szu and James R. Buss. SPIE, 2002. http://dx.doi.org/10.1117/12.458744.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dong, Wei, Ji Wang, Zhichang Qi, and Ni Rong. "Compositional Verification of UML Dynamic Models." In 14th Asia-Pacific Software Engineering Conference (APSEC'07). IEEE, 2007. http://dx.doi.org/10.1109/apsec.2007.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dong, Wei, Ji Wang, Zhichang Qi, and Ni Rong. "Compositional Verification of UML Dynamic Models." In 14th Asia-Pacific Software Engineering Conference (APSEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aspec.2007.25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Barsotti, N., R. Mariani, M. Martinelli, and M. Pasquariello. "Dynamic Verification of OCP-based SoC." In 2005 International Symposium on System-on-Chip. IEEE, 2005. http://dx.doi.org/10.1109/issoc.2005.1595634.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Buell, Kevin, and James Collofello. "Dynamic cost verification for cloud applications." In the 2012 Workshop. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2338966.2336802.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wu, Budan, Rongheng Lin, Pengjie Wang, and Junliang Chen. "Dynamic Business Process Generation and Verification." In 2016 IEEE International Conference on Services Computing (SCC). IEEE, 2016. http://dx.doi.org/10.1109/scc.2016.118.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bianculli, Domenico. "Lifelong verification of dynamic service compositions." In the 2008 Foundations of Software Engineering Doctoral Symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1496653.1496654.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Dynamic verification"

1

King, Steven A. Dynamic Modeling and Experimental Verification of a Flexible-Follower Quick-Return Mechanism. Office of Scientific and Technical Information (OSTI), September 1999. http://dx.doi.org/10.2172/761378.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Godfrey, Thomas A. Verification of Dynamic Load Factor for Analysis of Airblast-Loaded Membrane Shelter Panels by Nonlinear Finite Element Calculations. Fort Belvoir, VA: Defense Technical Information Center, July 1991. http://dx.doi.org/10.21236/ada238939.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Crane, Nathan K. Sierra Structural Dynamics Code Verification Plan. Office of Scientific and Technical Information (OSTI), June 2018. http://dx.doi.org/10.2172/1493843.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Crane, Nathan K., David M. Day, Lynn Brendon Munday, Gregory Bunting, Scott T. Miller, and Payton Lindsay. Sierra Structural Dynamics Verification Test Manual4.48 release. Office of Scientific and Technical Information (OSTI), June 2018. http://dx.doi.org/10.2172/1493842.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

OBERKAMPF, WILLIAM L., and TIMOTHY G. TRUCANO. Verification and Validation in Computational Fluid Dynamics. Office of Scientific and Technical Information (OSTI), March 2002. http://dx.doi.org/10.2172/793406.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bir, G. S. Structural Dynamics Verification of Rotorcraft Comprehensive Analysis System (RCAS). Office of Scientific and Technical Information (OSTI), February 2005. http://dx.doi.org/10.2172/15011442.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Van Buren, Kendra L., Jesse M. Canfield, Francois M. Hemez, and Jeremy A. Sauer. Code Verification of the HIGRAD Computational Fluid Dynamics Solver. Office of Scientific and Technical Information (OSTI), May 2012. http://dx.doi.org/10.2172/1040022.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Oberkampf, W. L., and F. G. Blottner. Issues in computational fluid dynamics code verification and validation. Office of Scientific and Technical Information (OSTI), September 1997. http://dx.doi.org/10.2172/544047.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chi, Joseph. Dynamics of Marine Cloud Layers: Computer Simulation and Experimental Verification. Fort Belvoir, VA: Defense Technical Information Center, December 1998. http://dx.doi.org/10.21236/ada358174.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ebert, Michael P., and Joseph J. Gorski. A Verification and Validation Procedure for Computational Fluid Dynamics Solutions. Fort Belvoir, VA: Defense Technical Information Center, February 2001. http://dx.doi.org/10.21236/ada389113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Dynamic verification' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography