In system-on-chips, system architecture designs greatly affect cost, performance, and power consumption of the systems. In system design time, we thus need to perform system architecture exploration. In order to effectively support architecture exploration, we improve de-efficiency of current architecture description languages and produce new ways of architecture description, including multiple architecture pattern descriptions and generalized coding description. Together with existing architecture description methods, we form a generalized architecture description language. In this thesis research, in order to support verification of designs in the generalized architecture description language, we designed its simulator software. The simulator should support the descriptions of the architecture description language, including structural description, behavioral description, coding description, multiple architecture pattern descriptions, and hardware data structures. We implemented the simulator software in several software modules, including simulator engine, parser design, interpreter design, generalized decoder design, multiple architecture pattern descriptions, and hardware data structures. We thus can effectively support the verification capability of the architecture description language.

Konstanz, Univ., Diplomarb., 1999.

The goal of diploma thesis is disquisition on existing file format intended for data transmission over computer network. Choose one of the compared file format and create a file structure for transmission sports data. Assess the structure of files from existing sports data suppliers and create their own structure. Compare the possible ways of distribution of created data files and give recommendations for services implementers.

This thesis deals with the web form automatization. It contains a short introduction to the HTML and XHTML markup languages and their facilities for the definition of forms. Next, there is a short overview of the HTTP protocol and XML markup language and a method of the form description using XML is proposed. The thesis contains a description of tool for creating XML file from HTML document and a description of a data sender tool using a CSV data file and an XML form description. Next, there is a description of the algorithms used in the implementation. The conclusion includes the achieved results and the improvements for the future.

Diss.--Institut für deutsche Sprache und Literatur--Köln--Universität, 1992.

In the age of system-on-chip designs, design complexity of systems increases continuingly. This results in difficulty of design convergence. In design exploration of system architectures, we need to design, specify, and verify system designs effectively. By employing an architecture description language (ADL), we can effectively support specification and verification of system level designs. Existing ADLs have certain de-efficiencies in specification capabilities. We designed and improved specification capabilities in our architecture description language. Specification techniques in our ADL include behavioral description, structural description, regular structure description, built-in architecture feature description, and data integration description. In this thesis research, we focus on supporting verification capability of our ADL. We designed a simulator of the ADL. The simulation mechanisms include language input design, simulation data structure construction, behavioral simulation, structural simulation, regular architecture simulation, built-in architecture feature simulation, and data integration mechanism. With the ADL simulator, we can verify functionality and performance of architecture designs specified in the ADL. Simulation results can thus be used to guide design exploration and help design convergence.

Techn. Universiẗat, Diss., 2001--Berlin.

The diploma thesis deals with design and implementation of user styles designer in the application TEXonWeb. It contains the analysis of current state of the application and development of its components. It describes possibilities of typesetting in TeX/LaTeX system, mainly in the area of creating user styles. It provides comparison of some similar oriented systems. It also includes the theory of formal languages and compilers. Part of the work is description of the interface design, implementation of styles designer and styles parser. There are mentioned possibilities of next development too.

Many companies in the domain of modeling and simulation are showing interest in the new emerging OpenModelica, an object oriented modeling and simulation platform based on Modelica language. The purpose of this thesis is to study if and how simulation libraries written in ExtendSim such as PaperFront, can be semi-automatically converted to equivalent Modelica libraries. The ExtendSim tool is based upon a C like language called ModL that is used for designing models. A prototype translator is developed for translating ModL to Modelica. One difficulty that had to be overcome was the fact that ExtendSim is a commercial tool which hides part of its model information in a binary format. The generated code from prototype translator can be viewed using any text editor or using the textual view of Modelica graphical editors such as OMEdit or Dymola. The implementation of the prototype translator is done using the Java based ANTLR tool, which generates a parser and a lexer from the defined grammar rules. Moreover, a set of templates is written using the StringTemplate language for the code generation. The prototype translator takes ModL code of an ExtendSim library file and generates an Abstract Syntax Tree (AST), which is then converted to an equivalent Modelica AST. This Modelica AST is later converted to textual Modelica code. Subject to limited resource availability and time constraints of the thesis work, the basic constructs of ModL language are supported by the translator e.g. data types, if-else statements, loops, procedures etc. The enhancements in the translator can be made in the future by adding support for remaining language features such as support for tracing and additional ModL built-in functions etc.

Master of Science / Department of Computer Science / Doina Caragea / An Introduction to Databases course involves learning the concepts of data storage, manipulation, and retrieval. Relational databases provide an ideal learning path for understanding database concepts. The Structured Query Language (SQL) is a standard language for interacting with relational database. Each database vendor implements a variation of the SQL standard. Furthermore, a particular question that asks for some data can be written in many ways, using somewhat similar or structurally different SQL queries. Evaluation of SQL queries for correctness involves the verification of the SQL syntax and semantics, as well as verification of the output of queries and the usage of correct clauses. An evaluation tool should be independent of the specific database queried, and of the nature of the queries, and should allow multiple ways of providing input and retrieving the output. In this report, we have developed an evaluation tool for SQL queries, which checks for correctness of MySQL and PostgreSQL queries with the help of a parser that can identify SQL clauses. The tool developed will act as a portal for students to test and improve their queries, and finally to submit the queries for grading. The tool minimizes the manual effort required while grading, by taking advantage of the SQL parser to check queries for correctness, provide feedback, and allow submission.