Institutional Repository
 
Filters: Format: "application/pdf" Type: "Text"
1 - 25 of 126
Number of results to display per page
TitleDateTypeSetname
1 Static Analysis of Multiparadigm Languages1990Textir_computersa
2 CAD based biomedical modeling and visualization1992-08Textir_computersa
3 HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems1988Textir_computersa
4 Static analysis of Android applications2014-08Textir_etd
5 Testing static analyzers with randomly generated programs2012-01-01Textir_uspace
6 Static analysis techniques for the synthesis of efficient asynchronous circuits1991Textir_uspace
7 Towards providing low-overhead data race detection for large OpenMP applications2014-01-01Textir_uspace
8 Low overhead data race detection techniques for large openMP applications2017Textir_etd
9 A composable static analysis framework for program analysis2016Textir_etd
10 Eliminating stack overflow by abstract interpretation2005-01-01Textir_uspace
11 Random testing of interrupt-driven software2005-01-01Textir_uspace
12 Introspective pushdown analysis and nebo2014-05Textir_etd
13 An improvement in partial order reduction using behavioral analysis2012-01-01Textir_uspace
14 Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset2013-01-01Textir_uspace
15 Systolic array synthesis by static analysis of program dependencies1986Textir_uspace
16 Urban morphology and urban design2008Textir_uspace
17 Specification and validation of control-intensive integrated circuits in hopCP1992Textir_uspace
18 Inspect: a runtime model checker for multithreaded C programs2008Textir_uspace
19 Practical symbolic execution analysis and methodology for GPU programs2015-05Textir_etd
20 Thread verification vs. interrupt verification2006-01-01Textir_uspace
21 hopCP: A concurrent hardware description language1991Textir_uspace
22 Provenance in scientific workflow systems2007Textir_uspace
23 Fast and reliable motion model for Articulated Wheeled Mobile Robots on extremely rough and rocky terrains2018Textir_etd
24 Efficient search for inputs causing high floating-point errors2014-01-01Textir_uspace
25 Pluggable abstract domains for analyzing embedded software2006-01-01Textir_uspace
1 - 25 of 126