Institutional Repository | J. Willard Marriott Digital Library

26 - 50 of 159

Gallery view

	Title	Date	Type	Setname
26	Page 132			ir_computersa
27	Page 147			ir_computersa
28	Page 16			ir_computersa
29	Page 19			ir_computersa
30	Static analysis of Android applications	2014-08	Text	ir_etd
31	Page 151			ir_computersa
32	Page 86			ir_computersa
33	Page 88			ir_computersa
34	Page 93			ir_computersa
35	Testing static analyzers with randomly generated programs	2012-01-01	Text	ir_uspace
36	Page 5			ir_computersa
37	Page 17			ir_computersa
38	Static analysis techniques for the synthesis of efficient asynchronous circuits	1991	Text	ir_uspace
39	Towards providing low-overhead data race detection for large OpenMP applications	2014-01-01	Text	ir_uspace
40	Low overhead data race detection techniques for large openMP applications	2017	Text	ir_etd
41	A composable static analysis framework for program analysis	2016	Text	ir_etd
42	Eliminating stack overflow by abstract interpretation	2005-01-01	Text	ir_uspace
43	Random testing of interrupt-driven software	2005-01-01	Text	ir_uspace
44	Introspective pushdown analysis and nebo	2014-05	Text	ir_etd
45	An improvement in partial order reduction using behavioral analysis	2012-01-01	Text	ir_uspace
46	Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset	2013-01-01	Text	ir_uspace
47	Systolic array synthesis by static analysis of program dependencies	1986	Text	ir_uspace
48	Urban morphology and urban design	2008	Text	ir_uspace
49	Specification and validation of control-intensive integrated circuits in hopCP	1992	Text	ir_uspace
50	Inspect: a runtime model checker for multithreaded C programs	2008	Text	ir_uspace

26 - 50 of 159