Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
41168 open access dissertations and theses found for:
if(Execution environment specifications)  »   Refine Search
2.
Devel-Op: An Optimizer Development Environment
by Peng, Zhibo, Ph.D.  Brandeis University. 2018: 157 pages; 10681532.
3.
Elicitation of a Program's Behaviors
by Miles, Craig S., Ph.D.  University of Louisiana at Lafayette. 2015: 134 pages; 10002454.
4.
The Counseling Training Environment Scale (CTES): Development of a self-report measure to assess counseling training environment
by Lau, Jared Miki Jun Kong, Ph.D.  The University of North Carolina at Charlotte. 2012: 272 pages; 3510213.
6.
Tideflow: A dataflow-inspired execution model for high performance computing programs
by Orozco, Daniel A., Ph.D.  University of Delaware. 2012: 163 pages; 3527015.
7.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
8.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
9.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
10.
Smart home control using Raspberry Pi in Internet of things environment
by Addimulam, Sushanth Chandra, M.S.  California State University, Long Beach. 2015: 70 pages; 1603977.
11.
12.
Exploring the Relationship between Accumulated Departures from Specifications and Associated Casualties and Mishaps
by O'Toole, Raymond D., Jr., D.Engr.  The George Washington University. 2018: 113 pages; 10928773.
13.
Robust Execution Strategy for Scheduling under Uncertainty
by Fu, Na, Ph.D.  Singapore Management University (Singapore). 2012: 122 pages; 3523785.
14.
15.
A framework for concept validation in design using digital prototyping
by Arastehfar, Soheil, Ph.D.  National University of Singapore (Singapore). 2015: 153 pages; 10006081.
16.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
17.
18.
Bullying Awareness and Prevention in the School Environment
by Stephenson, Mary S., Ed.D.  St. Thomas University. 2019: 155 pages; 13877705.
19.
20.
Improving Software Productivity and Quality via Mining Source Code
by Thummalapenta, Suresh, Ph.D.  North Carolina State University. 2011: 185 pages; 3442531.
22.
Trajectory planning using higher order motion specifications
by Mhawesh, Mustafa Azzam Naji, M.S.  California State University, Fullerton. 2016: 56 pages; 10243067.
23.
Automated Construction of Robotic Manipulation Programs
by Diankov, Rosen, Ph.D.  Carnegie Mellon University. 2010: 239 pages; 3448143.
24.
Exectracer: Bytecode Instrumentation to Trace Java Code Execution
by ShanmugaVelayutham, ArunKumar, M.S.  California State University, Long Beach. 2019: 35 pages; 13425988.
26.
Introspective pushdown analysis and Nebo
by Earl, Christopher, Ph.D.  The University of Utah. 2014: 154 pages; 3621541.
28.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
30.
The Design and Execution of the Scenery for WILD42HOLD
by Corley Sydnor, Tiffani Ingrid, M.F.A.  The George Washington University. 2013: 47 pages; 1544494.
1 - 30 of 41168 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest