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 11 of 11 for “"Scalable Software"”.
-
Exploiting structure for scalable software verification
Software bugs are expensive. Recent estimates by the US National Institute of Standards and Technology claim that the cost of software bugs to the US economy alone is approximately 60 billion USD annually. As society becomes increasingly software-dependent, bugs also reduce our productivity and …
-
The scalable commutativity rule : designing scalable software for multicore processors
… for multicore scalability are latent in software interfaces, such as system call APIs? Can scalability opportunities be identified even before any implementation exists, simply by considering interface specifications? To answer these questions this dissertation introduces the scalable …
-
Enabling Network Stability in a Scalable Software-Defined Data Center Network
… the need to enhance network stability in a scalable software-defined and data-oriented DCN remains an open issue for the research community to contend with. This research work addressed this knowledge gap by conducting a comprehensive literature review on relevant existing approaches used by …
-
Flow manipulation in soft systems: biophysics and microfluidic discovery through scalable software design
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2025-05-01
-
Adaptive electricity access planning
… planning. Progress towards automated and scalable software systems for the extraction of building footprints from satellite imagery are presented. In addition, a novel model for probabilistic data fusion and other machine learning methods are compared for electrification status estimation. …
-
Cognitively-inspired Architecture for Wireless Sensor Networks: A Model Driven Approach for Data Integration in a Traffic Monitoring System
… allows one to build flexible, extensible and scalable systems that can be deployed in practical settings. To illustrate our concepts and the novel features of our architecture, we have recently completed a prototype implementation of CoSMo. The prototype illustrates advantages of our approach …
-
A Cognitively Inspired Architecture for Wireless Sensor Networks: A Web Service Oriented Middleware for a Traffic Monitoring System
… allows one to build flexible, extensible and scalable systems that can be deployed in practical settings. To illustrate our concepts and the novel features of our architecture, we have recently completed a prototype implementation of CoSMo. The prototype illustrates advantages of our approach …
-
Verified security properties for the capability-enhanced CHERI-MIPS architecture
… support for fine-grained memory protection and scalable software compartmentalisation. CHERI achieves this by extending commodity hardware architectures with a capability system, in which all memory accesses must be authorised by a capability. Capabilities are unforgeable tokens that contain …
-
OrganixInsights: High throughput imaging and high content screening of organoids
… for image restoration and segmentation with a scalable web-based platform for managing and analyzing microscopy data. First, we introduce Deconv3D, a hybrid transformer–convolution architecture designed for volumetric microscopy restoration. The model integrates convolutional feature extraction …
-
Algorithms and software for efficient tensor decompositions
… This thesis develops new algorithms and scalable software for efficient tensor decompositions, with a focus on real-world applications. On the algorithmic front, we introduce accurate and scalable methods for computing various types of tensor decompositions under diverse data assumptions. …
-
A Machine With Class: A Framework for Object Generation, Integration and Language Authentication (FROGILA)
… model is constantly evolving to address the software crisis problem. This novel idea which informed and currently guides the design style of most modern scalable software systems has caused a strong belief that the object-oriented technology is the ultimate answer to the software crisis, i.e. …