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 17 of 17 for “"Datatypes"”.
-
A general theory of syntax with bindings
… complex binding patterns and binding-aware datatypes, including non-well-founded and infinitely branching types, in a modular fashion. We provide definitions of the fundamental operators on terms (free variables, alpha-equivalence, and capture-avoiding substitution) and reasoning and …
-
Exploring Transit Ridership Using Census, Routing & Scheduling, and Stop Characteristic Data
… system improvements. In this study, ridership datatypes are the dependent variables (i.e., boardings and alightings) and Census, routing and scheduling, and transit stop characteristic datatypes are the independent variables. Data associated with the San Luis Obispo Regional Transit Authority …
-
Representing BGP and routing flows in XML
… Protocol messages and several common networking datatypes. All of these schema are defined to provide validation of their underlying data, but are also flexible enough to accommodate extensions within the data and additional datatypes not already included in the schema.
-
Chorus : end user programming of social applications
… first, by supporting collaboration via "social datatypes" that define a shared structured document; second, by providing a simple user interfaces on smartphones that support interacting with and designing these documents. This thesis reports on the design challenges encountered in building these …
-
Metagenomics-Based Environmental Monitoring of Antibiotic Resistance: Towards Standardization
… use of public databases, and the derivation of datatypes that are conducive for risk assessment. The second review focuses on antibiotic-resistant Enterococcus spp. as robust monitoring targets and an attractive alternative to more widely adopted Gram-negative organisms, while proposing …
-
Action, Time and Space in Description Logics
… extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time.
-
MANDO : a computer program for symbolic manipulation of differential operators generating continuous transformations
… under SPIT-BOL's facility for creation of datatypes, contains the operators (and functions) and provides a means for systematically referencing their relevant parts.</p> <p>On input, functions and operators are written in a restricted but natural string format, for which the program can …
-
Focusing on Modular Refinement Typing
… a call-by-push-value (CBPV) with algebraic datatypes. CBPV is a language known empirically to have good semantic properties even in the presence of computational effects like nontermination and errors. Bidirectional type theories are a reliable way to combine rich type checking and …
-
Formalisation and execution of Linear Algebra: theorems and algorithms
… whose matrix representation has been refined to datatypes that admit a representation in functional programming languages. This enables the generation of programs from such verified algorithms. In particular, several well-known Linear Algebra algorithms have been formalised involving both the …
-
Theorem proving with the real numbers
… theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of floating point hardware and hybrid systems. It also allows the formalization …
-
Names and higher-order functions.
… Standard ML, omitting side-effects, exceptions, datatypes and recursion. Even without all these features, the interaction of name creation with higher-order functions can be complex and subtle. Various operational and denotational methods for reasoning about the nu-calculus are developed. These …
-
Categories in control systems software: toward a unified theory of programming & control
… in concrete categories. A library of abstract datatypes (struct templates) and natural transformations (parametrically polymorphic function templates) is developed to demonstrate that (1) Cpp carries a bicartesian closed structure and (2) this structure has representation as standard compliant …
-
Incremental parametric syntax for multi-language transformation
… Incremental parametric syntax is based on the datatypes a la carte approach for constructing modular syntax, but extends it with the notion of a sort injection, which allows intermixing language-specific and generic components in a type-safe and modular fashion. Instead of translating each …
-
Granite: A scientific database model and implementation
… the Granite model encompasses a wide variety of datatypes used across many disciplines of science and engineering today. It is unique in that it defines dataset geometry and topology as separate conceptual components of a scientific dataset. We provide a novel classification of geometries and …
-
Code Injection Vulnerabilities in Web Applications - Exemplified at Cross-site Scripting
… for syntax assembly instead of using string datatypes themselves for this purpose. We develop a formal, type-theoretical model of the proposed datatype and proof that it provides reliable separation between data and code hence, preventing code injection vulnerabilities. We verify our …
-
Towards a deeper understanding of hybrid programming
… overhead, efficient use of MPI's derived datatypes, and the serial fraction in Amdahl's law. Moreover, I experimentally demonstrate how a coarse-grained hybrid application design can be used to control these factors, resulting in significant performance improvements (compared to a pure MPI …
-
Refactoring transformations for maintainable, scalable and efficient parallelism
Computing is everywhere and our society depends on it. Increased performance over the last decades has allowed us to solve ever more interesting problems. We long relied on frequency scaling and instruction-level parallelism to give us the headroom we needed without disrupting software development, …