Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- ARKit (1)
- Blind and visually impaired (1)
- Complex systems (1)
- Computer input-output equipment -- Testing (1)
- Computer interfaces (1)
-
- Computer software -- Testing (1)
- Computer systems -- Verification (1)
- Database management (1)
- Event processing (Computer science) (1)
- Evolutionary computation (1)
- Formal methods (Computer science) (1)
- Functional programming (Computer science) (1)
- Functional programming languages (1)
- Graph rewriting (1)
- High performance computing (1)
- Hybrid modeling (1)
- Indoor navigation (1)
- Liquid state machine (1)
- Logic programming (1)
- Natural computation (1)
- Neural networks (Computer science) (1)
- Parallel processing (Electronic computers) -- Evaluation (1)
- Programming language implementation (1)
- Querying (Computer science) (1)
- Random Boolean networks (1)
- Rewriting systems (Computer science) (1)
- Route planning algorithm (1)
- Strains and stresses (1)
- Structural analysis (Engineering) -- Computer programs (1)
- Task scheduling algorithm (1)
Articles 1 - 7 of 7
Full-Text Articles in Systems Architecture
Multimodal Data Integration For Real-Time Indoor Navigation Using A Smartphone, Yaohua Chang
Multimodal Data Integration For Real-Time Indoor Navigation Using A Smartphone, Yaohua Chang
Dissertations and Theses
We propose an integrated solution of indoor navigation using a smartphone, especially for assisting people with special needs, such as the blind and visually impaired (BVI) individuals. The system consists of three components: hybrid modeling, real-time navigation, and client-server architecture. In the hybrid modeling component, the hybrid model of a building is created region by region and is organized in a graph structure with nodes as destinations and landmarks, and edges as traversal paths between nodes. A Wi-Fi/cellular-data connectivity map, a beacon signal strength map, a 3D visual model (with destinations and landmarks annotated) are collected while a modeler walks …
Hardware/Software Interface Assurance With Conformance Checking, Li Lei
Hardware/Software Interface Assurance With Conformance Checking, Li Lei
Dissertations and Theses
Hardware/Software (HW/SW) interfaces are pervasive in modern computer systems. Most of HW/SW interfaces are implemented by devices and their device drivers. Unfortunately, HW/SW interfaces are unreliable and insecure due to their intrinsic complexity and error-prone nature. Moreover, assuring HW/SW interface reliability and security is challenging. First, at the post-silicon validation stage, HW/SW integration validation is largely an ad-hoc and time-consuming process. Second, at the system deployment stage, transient hardware failures and malicious attacks make HW/SW interfaces vulnerable even after intensive testing and validation. In this dissertation, we present a comprehensive solution for HW/SW interface assurance over the system life cycle. …
On The Effect Of Heterogeneity On The Dynamics And Performance Of Dynamical Networks, Alireza Goudarzi
On The Effect Of Heterogeneity On The Dynamics And Performance Of Dynamical Networks, Alireza Goudarzi
Dissertations and Theses
The high cost of processor fabrication plants and approaching physical limits have started a new wave research in alternative computing paradigms. As an alternative to the top-down manufactured silicon-based computers, research in computing using natural and physical system directly has recently gained a great deal of interest. A branch of this research promotes the idea that any physical system with sufficiently complex dynamics is able to perform computation. The power of networks in representing complex interactions between many parts make them a suitable choice for modeling physical systems. Many studies used networks with a homogeneous structure to describe the computational …
A Data-Descriptive Feedback Framework For Data Stream Management Systems, Rafael J. Fernández Moctezuma
A Data-Descriptive Feedback Framework For Data Stream Management Systems, Rafael J. Fernández Moctezuma
Dissertations and Theses
Data Stream Management Systems (DSMSs) provide support for continuous query evaluation over data streams. Data streams provide processing challenges due to their unbounded nature and varying characteristics, such as rate and density fluctuations. DSMSs need to adapt stream processing to these changes within certain constraints, such as available computational resources and minimum latency requirements in producing results. The proposed research develops an inter-operator feedback framework, where opportunities for run-time adaptation of stream processing are expressed in terms of descriptions of substreams and actions applicable to the substreams, called feedback punctuations. Both the discovery of adaptation opportunities and the exploitation of …
The Basic Scheme For The Evaluation Of Functional Logic Programs, Arthur Peters
The Basic Scheme For The Evaluation Of Functional Logic Programs, Arthur Peters
Dissertations and Theses
Functional logic languages provide a powerful programming paradigm combining the features of functional languages and logic languages. However, current implementations of functional logic languages are complex, slow, or both. This thesis presents a scheme, called the Basic Scheme, for compiling and executing functional logic languages based on non-deterministic graph rewriting. This thesis also describes the implementation and optimization of a prototype of the Basic Scheme. The prototype is simple and performs well compared to other current implementations.
Scalable Event Tracking On High-End Parallel Systems, Kathryn Marie Mohror
Scalable Event Tracking On High-End Parallel Systems, Kathryn Marie Mohror
Dissertations and Theses
Accurate performance analysis of high end systems requires event-based traces to correctly identify the root cause of a number of the complex performance problems that arise on these highly parallel systems. These high-end architectures contain tens to hundreds of thousands of processors, pushing application scalability challenges to new heights. Unfortunately, the collection of event-based data presents scalability challenges itself: the large volume of collected data increases tool overhead, and results in data files that are difficult to store and analyze. Our solution to these problems is a new measurement technique called trace profiling that collects the information needed to diagnose …
Moment-Curvature-Thrust Relationships In Hybrid Members, Douglas Wrenn Fiala
Moment-Curvature-Thrust Relationships In Hybrid Members, Douglas Wrenn Fiala
Dissertations and Theses
In order to overcome the difficulties encountered in closed form solutions, moment-curvature-thrust relationships are developed for hybrid and nonhybrid cross sections utilizing an open form method. The use of horizontal sectors permits the inclusion of residual stresses and/or nonbilinear stress-strain relationships, if desired. Theoretical and experimental data are compared. Applications to circular tubes and other cross sections are discussed. Results indicate that open form solutions are feasible for calculating moment-curvature-thrust data. Hybrid cross sections are easily treated by open form solutions.