Behavioral synthesis from VHDL using structured modeling

This dissertation describes work in behavioral synthesis involving the development of a VHDL Synthesis System VSS which accepts a VHDL behavioral input specification and performs technology independent synthesis to generate a circuit netlist of generic components. The VHDL language is used for input and output descriptions. An intermediate representation which incorporates signal typing and component attributes simplifies compilation and facilitates design optimization.A Structured Modeling methodology has been developed to suggest standard VHDL modeling practices for synthesis. Structured modeling provides recommendations for the use of available VHDL description styles so that optimal designs will be synthesized.A design composed of generic components is synthesized from the input description through a process of Graph Compilation, Graph Criticism, and Design Compilation. Experiments were performed to demonstrate the effects of different modeling styles on the quality of the design produced by VSS. Several alternative VHDL models were examined for each benchmark, illustrating the improvements in design quality achieved when Structured Modeling guidelines were followed

Knowledge-based document filing for texpros

This dissertation presents a knowledge-based document filing system for TEXPROS. The requirements of a. personal document processing system are investigated. In order for the system to be used in various application domains, a flexible, dynamic modeling approach is employed by getting the user involved in document modeling. The office documents are described using a dual-model which consists of a document type hierarchy and a folder organization. The document type hierarchy is used to capture the layout, logical and conceptual structures of documents. The folder organization, which is defined by the user, emulates the real world structure for organizing and storing documents in an office environment. The document filing and retrieval are predicate-driven. The user can specify filing criteria and queries in terms of predicates. The predicate specification and folder organization specification are described. It is shown that the new specifications can prevent false drops which happen in the previous approach. The dual models are incorporated by a three-level storage architecture. This storage architecture supports efficient document and information retrieval by limiting the searches to those frame instances of a document type within those folders which appear to be the most similar to the corresponding queries, Specifically, a. three-level retrieval strategy is used in document and information retrieval. Firstly, a knowledge-based query preprocess is applied for efficiently reducing the search space to a small set of frame instances, using the information in the query formula. Secondly, the knowledge and content-based retrieval on the small set of frame instances is applied. Finally, the third level storage provides a platform for adopting potential content-based multimedia document retrieval techniques. A knowledge-based predicate evaluation engine is described for automating document filing. The dissertation presents a knowledge representation model. The knowledge base is dynamicly created by a learning agent, which demonstrates that the notion of flexible and dynamic modeling is applicable. The folder organization is implemented using an agent-based architecture. Each folder is monitored by a filing agent. The basic operations for constructing and reorganizing a folder organization are defined. The dissertation also discusses the cooperation among the filing agents, which is needed for implementing the folder organization

The Application of Formal Principles of Public Administration as Perceived by City Managers

The present study seeks to determine the extent to which formalist ideas in public administration are evident in the practice of managerial performance as perceived by city managers and assistant city managers in the three states of Arizona, Colorado, and Virginia. While numerous studies demonstrate how administrative practices vary in different socio-political environments, the International City Management Association contends that certain basic features of public management nevertheless should be widely applied in different settings. The questions that are being posed in this study are: What are the perceived norms or standards that structure managerial performance of city managers and do they transcend state and regional boundaries? To what extent is perceived managerial performance based on the application of formal principles of public administration and the professional expectations of the city management profession? The basic approach has been to compare city managers responses to survey questions related to basic areas of formalist doctrine having to do with concepts of political neutrality, professional development, competence, and the importance of the organizational structure. Overall, this study indicates that general principles of public administration and professionalism are critical in establishing the organizational framework of how city managers and assistant city managers perform their duties. This study would seem to reinforce the literature on the importance of professional culture in setting expectations of professional performance. We can speculate that the early teachings of Richard Childs, the founder of the city management movement, at least partly accounts for this. His ideas of professional, nonpartisan competence appear to have been deeply absorbed into the profession of city management

Strategies for Accessing Credit by Small and Medium Enterprises

Small and medium enterprise (SME) business owners play a significant role in the Kenyan economy as they account for approximately 78% of total employment and 57% of the new jobs created. The purpose of this qualitative multiple case study was to explore what strategies some Kenyan SME business owners used within the past 5 years to access credit to improve company profitability and growth. The target population consisted of 4 SME owners of businesses located in Kakamega Town, Kenya, who have had access to credit within the past 5 years. The conceptual framework for this study was the social capital theory. Semistructured interviews were conducted and company documents were gathered. All interpretations from the data were subjected to member checking to ensure the trustworthiness of findings. Based on the methodological triangulation of the data collected, 4 themes emerged after the data analysis: (a) group lending, (b) information access, (c) education and professional background of the entrepreneur, and (d) effect of access to credit on the performance of SMEs. The application of the findings from this study may contribute to social change by providing insights and strategies for SME business owners to access credit and ensure sustainable business growth that could potentially enhance community standards of living

Strategies for Accessing Credit by Small and Medium Enterprises

Small and medium enterprise (SME) business owners play a significant role in the Kenyan economy as they account for approximately 78% of total employment and 57% of the new jobs created. The purpose of this qualitative multiple case study was to explore what strategies some Kenyan SME business owners used within the past 5 years to access credit to improve company profitability and growth. The target population consisted of 4 SME owners of businesses located in Kakamega Town, Kenya, who have had access to credit within the past 5 years. The conceptual framework for this study was the social capital theory. Semistructured interviews were conducted and company documents were gathered. All interpretations from the data were subjected to member checking to ensure the trustworthiness of findings. Based on the methodological triangulation of the data collected, 4 themes emerged after the data analysis: (a) group lending, (b) information access, (c) education and professional background of the entrepreneur, and (d) effect of access to credit on the performance of SMEs. The application of the findings from this study may contribute to social change by providing insights and strategies for SME business owners to access credit and ensure sustainable business growth that could potentially enhance community standards of living

The development of a program analysis environment for Ada: Reverse engineering tools for Ada

The Graphical Representations of Algorithms, Structures, and Processes for Ada (GRASP/Ada) has successfully created and prototyped a new algorithm level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and thus improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under the Virtual Memory System (VMS) on a VAX 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. In Phase 3 of the project, the prototype was prepared for limited distribution (GRASP/Ada Version 3.0) to facilitate evaluation. The user interface was extensively reworked. The current prototype provides the capability for the user to generate CSD from Ada source code in a reverse engineering mode with a level of flexibility suitable for practical application

Fault tolerance distributed computing

Issued as Funds expenditure reports [nos. 1-4], Quarterly progress reports [nos. 1-3], and Final report, Project no. G-36-63

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability

Examining the Antecedents of Behavioral Intentions in a Tourism Context

The purpose of this study was to gain an understanding of the structure and antecedents of travelers' behavioral intentions. Understanding travelers' behavioral intentions is an important goal of both destination marketing organizations and host destinations. However, little research has contributed to the theoretical development in this area, and the lack of a solid theoretical framework has negatively influenced the validity of existing research. Thus, this study attempted to explain travelers' behavioral intentions, using a model which was developed based on existing human behavior theories: the theory of reasoned action and the theory of planned behavior. Another major objective of the current study was to test the validity of the proposed model. Based on the theory of reasoned action and the theory of planned behavior, a conceptual framework was established to explain travelers' behavior intention in a tourism context. Attitude was conceptualized as destination image which is a two-dimensional construct including cognitive and affective components. Subjective norms were conceptualized as the combination of normative beliefs and motivation to comply. Perceived behavioral control was conceptualized as constraints which is a three-dimensional construct including intrapersonal, interpersonal, and structural components. An online panel survey was launched in September 2008 to collect data. Respondents were specially asked their perceived image about Texas, what were the barriers preventing them from traveling to Texas, and how their reference groups affected their travel decision to Texas. Totally, 1,448 completed surveys were received and utilized for analysis which included both visitors and non-visitors. The data analysis procedures included six major steps, from descriptive analysis and preliminary data analysis, to model and hypothesis testing. To do so, the Statistical Package for the Social Sciences 16.0 (SPSS) and Amos 16.0 were utilized. The structural relationships between all variables were tested with using structural equation modeling (SEM). Results of the study showed that destination image and subjective norm positively impacted behavioral intentions while constraints negatively affected behavioral intentions. Hence, this research provides important direction for the development of a more comprehensive theoretical framework to explain travelers' behavioral intentions, and presented a step toward offering practical as well as theoretical implications for future research

Beliefs and Technology - Does One Lead to the Other? Evaluating the Effects of Teacher Self-Efficacy and School Collective Efficacy on Technology Use in the Classroom

This exploratory mixed method study builds upon previous research to investigate the influence of teacher self- and collective efficacy on technology use in the classroom. This population was purposefully sampled to examine first- and second order technology barriers, instructional strategies, and human influences on technology. The quantitative finding was supported by qualitative analysis of the teacher interviews and led to the conclusion that even thought there were strong teacher tendencies towards a belief in using technology actual practice demonstrated a lack of productivity or transference of that belief into classroom practice. A high self- and collective efficacy had no effect on technology use in the classroom and a belief in technology did not lead to the use of technology. The study explored three research questions: 1) what is the effect of teacher self-efficacy on technology use in the classroom, 2) what is the effect of collective efficacy on technology use in the classroom, and 3) what is the relationship among teacher self-efficacy, collective efficacy, and barriers that inhibit technology use in a K-12 classroom setting? Thirty-five teachers in a New Jersey K-8 school district volunteered to take a 36-question survey. Three teachers were interviewed to corroborate the survey data. This study is unique in the combined analysis of self- and collective efficacy and technology. It raises several questions for future study. Teacher responses overwhelmingly identified first order or extrinsic barriers as impediments to technology. These included poor technical support, access, time issues, and a lack of vision and training. These barriers are decades old and have been acknowledged for as long as technology has been in the classroom. Why, despite thirty years of technology in education, do the same barriers that existed in the very beginning continue to be strong deterrents of technology use? Teachers identified administrators as the least influential on teacher practices. If this is so, how can there be such a high sense of collective efficacy? How much influence does the collective agency have on classroom teacher behavior? Specifically, at what point in a teacher\u27s decision-making does the collective agency over-ride personal beliefs and what are the characteristics that contribute to this conflict and possible submissive behavior? Finally, are we seeking answers to the wrong questions? Is it possible that teachers and educational systems are not able to modify intrinsic and standard operating practices to utilize technology successfully