RSS 1.0Theses and Dissertations-Computer Science
Browse by
Recent Submissions
-
Rigorous Analysis Of Combined Software Processes Via Model Checking
(2021-08)The ability to automatically combine and analyze multiple concurrent processes, perhaps written by different people, becomes increasingly important in the modern mobile, distributed, and ad-hoc computational environments. ... -
Setting Priority Points for Global EDF-like Scheduling of Sporadic Tasks with Arbitrary Deadlines on Multiprocessors
(2021-05)Under the well-studied global earliest-deadline-first (G-EDF) scheduling, the deadline of each job serves for two functionalities simultaneously. First, it specifies the response-time requirement of the job; second, ...
-
Evaluating the tradeoffs of mobile code design paradigms in electronic commerce applications
(2005-08)Mobile Code has the ability to relocate dynamically and change bindings between computational environments and code fragments. The flexibility of Mobile Code to relocate and execute code in different patterns has introduced ... -
Applying 3D visualization techniques to the representation of software architecture
(2006-05)Software visualization is the mapping from software to graphical representations. Software visualization is needed because software is inherently invisible. Most people visualize source code textually. However, nowadays ...
-
Performance comparison of three tree-based mutual exclusion algorithms in a simulated distributed computing environment
(2004-05)In a distributed system, the design of a mutual exclusion algorithm consists of defining the protocols used to coordinate access to a shared object. A distributed algorithm for mutual exclusion is characterized by ( 1) ...
-
Using TCL and SWIG to create a rapid application development environment
(2001-05)No abstract prepared. -
Extracting concept maps from instructor and learner behavior in an interactive e-learning environment
(2007-08)No abstract prepared. -
Social Network Analysis At Scale: Graph-based Analysis of Twitter Trends and Communities
(2020-11)Twitter's influence on society and communication has motivated research work in the past decade. A large percentage of existing research focuses on specific Twitter datasets bound by time, location, topic, hashtag, and the ... -
A Parallel Implementation of A Greedy TSP Algorithm
(2020-11)The Traveling Salesman Problem has often been used as an exploration ground for building heuristics to calculate the shortest path of a complete graph that traverse every vertex exactly once. This has a number of important ... -
Parallel Implementation of a Minimum Spanning Tree Algorithm
(2020-12)Building a Minimum Spanning Tree (MST) of a weighted undirected graph is an important step in various applications, including circuit design, and it is desirable to build the MST quickly. However, current well-known ... -
Parallelizing Path Exploration and Optimizing Constraint Solving for Efficient Symbolic Execution
(2020-10)Symbolic execution executes programs with symbolic inputs and systematically analyzes program behaviors by exploring all feasible paths. For each path it explores, it builds a path condition, and checks the path's ...
-
A View on Components of Software and Application Programming in Distributed Environments
(1992-08)We describe a view of application design in the modem programming environment in which reusability of software, network transparent display, and processing, vertically and horizontally, play an important role. We provide ...
-
Performance comparison of four token rings in simulated distributed computing environment
(2003-12)The concept of self-stabilization was first proposed by Dijkstra. A self-stabilization token ring can make guarantee for a system to recover to a legal state in finite time, regardless of what illegal state the system ...
-
Soft Quality of Service via TCP congestion signal delegation on aggregated flows
(2008-05)No abstract prepared. -
Dynamic key management for secure routing in LCRMRMG
(2003-12)Ad hoc mobile network (MANET) is characterized by its lack of fixed physical and administrative infrastructures (routers, server and stable communication links). As such MANET presents unparallel challenges in security. ...
-
Medical documentation automation for psychotherapists practicing in geriatric long-term care residential facilities
(2001-12)No abstract prepared. -
Optimizing OpenGL Based Software Systems through Reverse Engineering
(2007-12)Dynamic execution traces of the OpenGL application programming interface (API) were gathered to identify the functionalities provided by OpenGL. The traces were gathered from the open source implementation of the OpenGL ... -
-
The Discrete Leaky Integrate-and-fire Neuron Model Applied to Visual Tracking and Pattern Recognition
(2004-12)The Discrete Leaky Integrate-and-Fire (DLIF) neuron uses a simple discrete LIF neuron model that is capable of diverse spatio-temporal behavior. We explore the behavior of the DLIF when driven by periodic (coherent) and ... -
Movement Strategies for Intrusion Detection in Incomplete Sensor Networks
(2006-05)Incomplete sensor networks are an area of wireless communications with broad application. The intention of this document is twofold. One goal of this research is to establish a relationship between the method by which a ...
