UScholar Works
 
Filters: Collection: "ir_uspace"
1 - 25 of 12
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Regehr, JohnDynamic CPU management for real-time, middleware-based systemsMany real-world distributed, real-time, embedded (DRE) systems, such as multi-agent military applications, are built using commercially available operating systems, middleware, and collections of pre-existing software. The complexity of these systems makes it difficult to ensure that they maintain h...2004-01-01
2 Eide, Eric Norman; Regehr, John; Lepreau, JayDynamic CPU management for real-time, middleware-based systemsMany real-world distributed, real-time, embedded (DRE) systems, such as multi-agent military applications, are built using commercially available operating systems, middleware, and collections of pre-existing software. The complexity of these systems makes it difficult to ensure that they maintai...CPU management2004-01-30
3 Berzins, MartinA survey of high level frameworks in block-structured adaptive mesh refinement packagesOver the last decade block-structured adaptive mesh refinement (SAMR) has found increasing use in large, publicly available codes and frameworks. SAMR frameworks have evolved along different paths. Some have stayed focused on specific domain areas, others have pursued a more general functionality, p...2014-01-01
4 De St Germain, John Davison; Morris, Alan H.; Parker, Steven G.Performance analysis integration in the Uintah software development cycleThe increasing complexity of high-performance computing environments and programming methodologies presents challenges for empirical performance evaluation. Evolving parallel and distributed systems require performance technology that can be flexibly configured to observe different events and associ...Uintah; Problem solving environment; Performance analysis; Parallelism; C-SAFE2003
5 Smith, Philip J.The UQ-predictive Multidisciplinary Simulation Center for high efficiency electric power generation with carbon captureThe University of Utah Multidisciplinary Simulation Center was established in April of 2014 by the United States Department of Energy, National Nuclear Security Administration (NNSA)for the purpose of developing and demonstrating the use of formal uncertainty quantification (UQ) methodologies in con...digital twin; biomass boiler; Bayesian analysis; uncertainty quantification; high performance computing; continuous optimization2021-03-31
6 Regehr, JohnMemory safety and untrusted extensions for TinyOSSensor network applications should be reliable. However, TinyOS, the dominant sensor net OS, lacks basic building blocks for reliable software systems: memory protection, isolation, and safe termination. These features are typically found in general-purpose operating systems but are believed to be t...2006-01-01
7 Regehr, John; Eide, Eric NormanMemory safety and untrusted extensions for TinyOSSensor network applications should be reliable. However, TinyOS, the dominant sensor net OS, lacks basic building blocks for reliable software systems: memory protection, isolation, and safe termination. These features are typically found in general-purpose operating systems but are believed to b...TinyOS2006-06-30
8 Orr, Douglas B.Program specialization using the OMOS systemAbstraction and modularity provide many software engineering benefits. Hiding details of module internals can, however, prevent system implementors from being able to provide anything but a highly general implementation of a given module. We describe OMOS, a programmable linker/loader and system s...OMOS system; Program specialization; Modularity; Linker/loader; Modules1995
9 Pascucci, ValerioTopological analysis and visualization of cyclical behavior in memory reference tracesWe demonstrate the application of topological analysis techniques to the rather unexpected domain of software visualization. We collect a memory reference trace from a running program, recasting the linear flow of trace records as a high-dimensional point cloud in a metric space. We use topological ...2012-01-01
10 Berzins, MartinParallel breadth first search on GPU clustersFast, scalable, low-cost, and low-power execution of parallel graph algorithms is important for a wide variety of commercial and public sector applications. Breadth First Search (BFS) imposes an extreme burden on memory bandwidth and network communications and has been proposed as a benchmark that m...2014-01-01
11 Regehr, JohnHelp, help, Im being suppressed the significance of suppressors in software testingAbstract-Test features are basic compositional units used to describe what a test does (and does not) involve. For example, in API-based testing, the most obvious features are function calls; in grammar-based testing, the obvious features are the elements of the grammar. The relationship between fea...2013-01-01
12 Regehr, JohnSwarm testingSwarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detection. In swarm testing, the usual practice of potentially including all features in every test case is abandoned. Rather,...2012-01-01
1 - 25 of 12