Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"behavioral specification"”.
-
A First Approximation Toward the Behavioral Specification of Social-Professional Skills for Clinical Psychologists
The problem. The development of a reliable device to measure the social-professional skills of students in practica in a professional psychology graduate program. Procedure. Inexperienced practicum students were rated weekly on their social-professional skills by experienced students and faculty on …
-
Optimizations for acyclic dataflow graphs for hardware-software codesign
… is extracted from the high-level language (HLL) specification presented at the input of the PRISM-2 compiler. This behavioral specification is transformed into an internal, dataflow graph (DFG) format. Linear and loop optimizations are then performed to optimize this representation. Linear …
-
A hierarchical verification of the IEEE-754 table-driven floating-point exponential function using HOL
… of the circuit up to a higher level behavioral specification. To achieve this goal, we have used both hierarchical and modular approaches for modeling and verifying the floating-point exponential function in HOL
-
Virtual prototypes for the model-based elicitation and validation of collaborative scenarios
… a model-based approach for prototyping formal behavioral specifications of stakeholders who are involved in collaborative scenarios. By simulating and animating such specifications in a remote domain-specific visualization, stakeholders can experience and validate the scenarios captured so far, …
-
Whole-system testing and analysis of actor programs
… for effective testing of actor systems, and a behavioral specification inference method for understanding and analyzing actor systems. We conduct a comprehensive characteristic study on 200 production failures and their fixes in a distributed data processing system from Microsoft Bing. We …