University of Texas, USA

Organization Name (de) Name der Organisation (de)
University of Texas, USA
 


Results 1-3 of 3 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leifels, Mats ; Lee, W. L. ; Armas, Federica ; Gu, X ; Chandra, F. ; Cheng, D. ; Kwok, W. C. ; Chua, Deborah ; Kim, S. Y. ; Ng, W. J. ; Nainai, D. ; Sirikanchana, Kwanrawee ; Sozzi, E. ; Farnleitner, Andreas ; Wu, F. ; Wuertz, Stefan ; Thompson, J. Surveillance of SARS-CoV-2 in Wastewater at the Population Level: Insights into the Implementation of Non-invasive Targeted Monitoring in Singapore and the USABook Contribution Buchbeitrag2023
2Temel-2021-Sound and Automated Verification of Real-World RTL Multipliers-vor.pdf.jpgTemel, Mertcan ; Hunt, Warren A., Jr. Sound and Automated Verification of Real-World RTL MultipliersInproceedings Konferenzbeitrag Oct-2021
324_Angelic Checking within Static Driver Verifier Towards high_precision defects without (modeling) cost.pdf.jpgLahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costKonferenzbeitrag Inproceedings 2020