Institutional Repository
 
Filters: School Or College: "College of Engineering" Subject: "Verification"
1 - 25 of 25
Number of results to display per page
TitleDateTypeSetname
1 A general compositional approach to verifying hierarchical cache coherence protocols2006-11-26Textir_uspace
2 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text; Imageir_uspace
3 An interface aware guided search method for error-trace justification in large protocols2008Textir_uspace
4 Asynchronous circuit verification using trace theory and CCS1992Textir_uspace
5 Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits2011-05Textir_etd
6 Combustion efficiency from industrial flares with uncertainty quantification2014-08Textir_etd
7 Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design1990Textir_uspace
8 Development, verification, and validation of the responsive boundary model for pool fire simulations2011-08Textir_etd
9 Direct equivalence testing of embedded software2011-08Textir_etd
10 Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)1991Textir_uspace
11 Explicit-enumeration based verification made memory-efficient1995Textir_uspace
12 Formal verification of device drivers in embedded systems2013-12Textir_etd
13 Method of generated solutions as a numerical verification tool for ice code2007Textir_uspace
14 The method of generated solutions for numerical verification of ICE code2007Textir_uspace
15 New verification method for embedded systems2010-12Textir_etd
16 On the decidability of shared memory consistency verification2005-03-15Textir_uspace
17 Scalable formal dynamic verification of MPI programs through distributed causality tracking2011-08Textir_etd
18 Symbolic asynchronous hardware protocol verification for compositions with relative timing2010Textir_etd
19 Towards a verification technique for large synchronous circuits1992Textir_uspace
20 Towards the theory and practice of verifying visualizations2013-08Textir_etd
21 Verification of MPI programs using Spin2004Textir_uspace
22 Verification of regular arrays by symbolic simulation1991Textir_uspace
23 Verification of systolic arrays: a stream functional approach1985Textir_uspace
24 Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification2002-01-22Textir_uspace
25 Verifying a virtual component interface-based PCI bus wrapper with FormalCheck2001-06-14Textir_uspace
1 - 25 of 25