Global ETD Search

301	Resource allocation and reallocation techniques in high-level synthesis with testability constraints Harmanani, Haidar M. January 1994 (has links) No description available. Resource allocation reallocation techniques high-level synthesis testability constraints
302	Implication and referential constraints: A new formal treatment and the applications in query processing Zhang, Xubo January 1994 (has links) No description available. Computer Science Implication referential constraints treatment query processing
303	PHILOPATRY IN PRAIRIE VOLES: AN EVALUATION OF THE HABITAT SATURATION HYPOTHESIS Lucia, Kristen E. 03 August 2007 (has links) No description available. Habitat saturation prairie voles ecological constraints philopatry dispersal
304	Dynamics of Affordance Actualization Nordbeck, Patric C. January 2017 (has links) No description available. Psychology affordances dynamic systems cusp catastrophe dynamic modeling simulations constraints
305	AN APPROACH TO FACILITATING VERIFICATION OF LINEAR CONSTRAINTS SABNIS, SUDEEP SUHAS January 2003 (has links) No description available. Computer Science simplex algorithm verification linear constraints Xanadu dependent types
306	Baseball Temporal Seam Recognition Study Hagee, Daniel R. 07 September 2016 (has links) No description available. Optics Ophthalmology baseball pitching seam recognition seams temporal constraints batting
307	Examining the relationship between organizational constraints and individual deficits in executive functioning on employees’ extra-role work behaviors. Khosravi, Jasmine Yasi 15 July 2016 (has links) No description available. Psychology organizational constraints deficits in executive functioning CWB OCB creativity
308	Optimal Expansion Strategy for a Developing Power System under the Conditions of Market Economy and Environmental Constraint: Case of Armenia Avetisyan, Misak G. 26 September 2006 (has links) No description available. Power system Mathematical model Environmental constraints Optimal expansion Strategy
309	Essays on Human Capital Investment Restrepo, Brandon J. 29 August 2012 (has links) No description available. Economics Parental investment child human capital credit constraints education
310	Property Inference for Maple: An Application of Abstract Interpretation Forrest, Stephen A. 24 September 2017 (has links) We present a system for the inference of various static properties from source code written in the Maple programming language. We make use of an abstract interpretation framework in the design of these properties and define languages of constraints specific to our abstract domains which capture the desired static properties of the code. Finally we discuss the automated generation and solution of these constraints, describe a tool for doing so, and present some results from applying this tool to several nontrivial test inputs. / Thesis / Master of Science (MSc)

Search results