• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 2
  • Tagged with
  • 15
  • 15
  • 10
  • 10
  • 10
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Fault-injection through model checking via naive assumptions about state machine synchrony semantics

Joseph, Sabina. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 1998. / Title from document title page. "December 8, 1998." Document formatted into pages; contains vi, 98 p. : ill. (some col.) Includes abstract. Includes bibliographical references (p. 78-81).
2

Nomadic pict language and infrastructure design for mobile computation /

Wojciechowski, Paweł Tomasz. January 1900 (has links)
Thesis (Ph. D.)--University of Cambridge, 2000. / Cover title. "June 2000." Includes bibliographical references.
3

An environment for comprehending the behavior of software systems /

Salah, Maher M. Mancoridis, Spiros. January 2005 (has links)
Thesis (Ph. D.)--Drexel University, 2005. / Includes abstract and vita. Includes bibliographical references (leaves 162-167).
4

A formal semantics of teamwork and multi-agent conversations as the basis of a language for programming teams of autonomous agents /

Kumar, Sanjeev, January 2006 (has links)
Thesis (Ph.D.)--OGI School of Science & Engineering at OHSU, June 2006. / Includes bibliographical references (leaves 276-287).
5

High-level abstractions for low-level programming /

Diatchki, Iavor Sotirov. January 2007 (has links)
Thesis (Ph.D.) OGI School of Science & Engineering at OHSU, May 2007. / Includes bibliographical references (leaves 323-338).
6

The representation and management of evolving features in geospatial databases

Lohfink, Alex January 2009 (has links)
Geographic features change over time, this change being the result of some kind of event or occurrence. It has been a research challenge to represent this data in a manner that reflects human perception. Most database systems used in geographic information systems (GIS) are relational, and change is either captured by exhaustively storing all versions of data, or updates replace previous versions. This stems from the inherent diffculty of modelling geographic objects in relational tables. This diffculty is compounded when the necessary time dimension is introduced to model how those objects evolve. There is little doubt that the object-oriented (OO) paradigm holds signi cant advantages over the relational model when it comes to modelling real-world entities and spatial data, and it is argued that this contention is particularly true when it comes to spatio-temporal data. This thesis describes an object-oriented approach to the design of a conceptual model for representing spatio-temporal geographic data, called the Feature Evolution Model (FEM), based on states and events. The model was used to implement a spatio-temporal database management system in Oracle Spatial, and an interface prototype is described that was used to evaluate the system by enabling querying and visualisation.
7

Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /

Shepherd, David. January 2007 (has links)
Thesis (Ph.D.)--University of Delaware, 2007. / Principal faculty advisors: Lori L. Pollock and Vijay K. Shanker, Dept. of Computer & Information Sciences. Includes bibliographical references.
8

Development Of Software For Calculations Of The Reflectance, Transmittance And Absorptance Of Multilayered Thin Films

Simsek, Yusuf 01 December 2008 (has links) (PDF)
The aim of this study is to develop a software which calculates reflection, transmission and absorption of multilayered thin films by using complex indices of refraction, as a function of both wavelength and thickness. For these calculations matrix methods will be considered and this software is programmed with the matrix method. Outputs of the program will be compared with the theoretical and experimental results studied in the scientific papers.
9

Platforms for HPJava Runtime support for scalable programming in Java /

Lim, Sang Boem. Erlebacher, Gordon. January 2003 (has links)
Thesis (Ph. D.)--Florida State University, 2003. / Advisor: Dr. Gordon Erlebacher, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed Apr. 8, 2004). Includes bibliographical references.
10

Reflection and hyper-programming in persistent programming systems

Kirby, Graham N. C. January 1992 (has links)
In an orthogonally persistent programming system, data is treated in a manner independent of its persistence. This gives simpler semantics, allows the programmer to ignore details of long-term data storage and enables type checking protection mechanisms to operate over the entire lifetime of the data. The ultimate goal of persistent programming language research is to reduce the costs of producing software. The work presented in this thesis seeks to improve programmer productivity in the following ways: • by reducing the amount of code that has to be written to construct an application; • by increasing the reliability of the code written; and • by improving the programmer’s understanding of the persistent environment in which applications are constructed. Two programming techniques that may be used to pursue these goals in a persistent environment are type-safe linguistic reflection and hyper-programming. The first provides a mechanism by which the programmer can write generators that, when executed, produce new program representations. This allows the specification of programs that are highly generic yet depend in non-trivial ways on the types of the data on which they operate. Genericity promotes software reuse which in turn reduces the amount of new code that has to be written. Hyper-programming allows a source program to contain links to data items in the persistent store. This improves program reliability by allowing certain program checking to be performed earlier than is otherwise possible. It also reduces the amount of code written by permitting direct links to data in the place of textual descriptions. Both techniques contribute to the understanding of the persistent environment through supporting the implementation of store browsing tools and allowing source representations to be associated with all executable programs in the persistent store. This thesis describes in detail the structure of type-safe linguistic reflection and hyper-programming, their benefits in the persistent context, and a suite of programming tools that support reflective programming and hyper-programming. These tools may be used in conjunction to allow reflection over hyper-program representations. The implementation of the tools is described.

Page generated in 0.1001 seconds