The proceedings contain 8 papers. The topics discussed include: understanding the effects of modern compressors on the community earth science model;analyzing the impact of lossy data reduction on volume rendering of ...
ISBN:
(纸本)9781665463379
The proceedings contain 8 papers. The topics discussed include: understanding the effects of modern compressors on the community earth science model;analyzing the impact of lossy data reduction on volume rendering of cosmology data;exploring data reduction techniques for additive manufacturing analysis;what can real information content tell us about compressing climate model data?;evaluating nonuniform reduction in HIP and SYCL on GPUs;understanding impact of lossy compression on derivative-related metrics in scientific datasets;dynamic clustering-based sharding in distributed deduplication systems;and characterization of transform-based lossy compression for HPC datasets.
In this panel, a team of four experts in performance analysis, parallel computing, quantum computing, and distributed systems discuss how different scientific computing fields are benefiting from performance analysis ...
详细信息
Fifth Generation (5G) networks are becoming the norm in the global telecommunications industry. In this paper, we present the first large-scale measurement study on commercial 5G Non Standalone (NSA) deployments in a ...
详细信息
ISBN:
(纸本)9781450395274
Fifth Generation (5G) networks are becoming the norm in the global telecommunications industry. In this paper, we present the first large-scale measurement study on commercial 5G Non Standalone (NSA) deployments in a European country. We leverage the collected dataset, which covers two Mobile Network Operators (MNOs) in Rome, Italy, to first, study network deployment and radio coverage aspects, and second, explore the performance of two use cases related to enhanced Mobile Broadband (eMBB) and UltraReliable Low Latency Communication (URLLC). Results show that 5G NSA can provide higher downlink throughput and slightly lower latency compared to Fourth Generation (4G) systems. However, performance is influenced by several factors, including propagation conditions, system configurations, and handover events, ultimately highlighting the need for further system optimization.
Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into the kernel. To ensure that user code i...
详细信息
ISBN:
(纸本)9781665405843
Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into the kernel. To ensure that user code is safe to run in kernel context, BPF relies on a static analyzer that proves properties about the code, such as bounded memory access and the absence of operations that crash. The BPF static analyzer checks safety using abstract interpretation with several abstract domains. Among these, the domain of tnums (tristate numbers) is a key domain used to reason about the bitwise uncertainty in program values. This paper formally specifies the tnum abstract domain and its arithmetic operators. We provide the first proofs of soundness and optimality of the abstract arithmetic operators for tnum addition and subtraction used in the BPF analyzer. Further, we describe a novel sound algorithm for multiplication of tnums that is more precise and efficient (runs 33% faster on average) than the Linux kernel's algorithm. Our tnum multiplication is now merged in the Linux kernel.
The persisting issue of emergency department (ED) overcrowding, notably in rural communities, has been aggravated by the recent Covid-19 pandemic. This dilemma results in longer wait times, patients leaving without tr...
详细信息
Caseworkers are trained to write detailed narratives about families in Child-Welfare (CW) which informs collaborative high-stakes decision-making. Unlike other administrative data, these narratives offer a more credib...
详细信息
ISBN:
(纸本)9781450391573
Caseworkers are trained to write detailed narratives about families in Child-Welfare (CW) which informs collaborative high-stakes decision-making. Unlike other administrative data, these narratives offer a more credible source of information with respect to workers' interactions with families as well as underscore the role of systemic factors in decision-making. SIGCHI researchers have emphasized the need to understand human discretion at the street-level to be able to design human-centered algorithms for the public sector. In this study, we conducted computational text analysis of casenotes at a child-welfare agency in the midwestern United States and highlight patterns of invisible street-level discretionary work and latent power structures that have direct implications for algorithm design. Casenotes offer a unique lens for policymakers and CW leadership towards understanding the experiences of on-the-ground caseworkers. As a result of this study, we highlight how street-level discretionary work needs to be supported by sociotechnical systems developed through worker-centered design. This study offers the first computational inspection of casenotes and introduces them to the SIGCHI community as a critical data source for studying complex sociotechnical systems.
We study real-time routing policies in smart transit systems, where the platform has a combination of cars and high-capacity vehicles (e.g., buses or shuttles) and seeks to serve a set of incoming trip requests. The p...
详细信息
We study real-time routing policies in smart transit systems, where the platform has a combination of cars and high-capacity vehicles (e.g., buses or shuttles) and seeks to serve a set of incoming trip requests. The platform can use its fleet of cars as a feeder to connect passengers to its high-capacity fleet, which operates on fixed routes. Our goal is to find the optimal set of (bus) routes and corresponding frequencies to maximize the social welfare of the system in a given time window. This generalizes the Line Planning Problem, a widely studied topic in the transportation literature, for which existing solutions are either heuristic (with no performance guarantees), or require extensive computation time (and hence are impractical for real-time use). To this end, we develop a 1 - 1/epsilon - epsilon approximation algorithm for the Real-Time Line Planning Problem, using ideas from randomized rounding and the Generalized Assignment Problem. Our guarantee holds under two assumptions: (i) no inter-bus transfers and (ii) access to a pre-specified set of feasible bus lines. We moreover show that these two assumptions are crucial by proving that, if either assumption is relaxed, the Real-Time Line Planning Problem does not admit any constant-factor approximation. Finally, we demonstrate the practicality of our algorithm via numerical experiments on real-world and synthetic datasets, in which we show that, given a fixed time budget, our algorithm outperforms Integer Linear Programming-based exact methods.
This paper presents a novel framework for 3D seed reconstruction and volume measurement using multi-threaded space carving. The new framework achieves better performance than previous approaches with a relatively low ...
详细信息
The proceedings contain 55 papers. The special focus in this conference is on computing. The topics include: Influence of Functional Capacity in the Living Space (LS) in Elders in Small Towns in the Colombian Andes: A...
ISBN:
(纸本)9783031752322
The proceedings contain 55 papers. The special focus in this conference is on computing. The topics include: Influence of Functional Capacity in the Living Space (LS) in Elders in Small Towns in the Colombian Andes: An analysis of the Association Between SPPB and LS;digital Divide analysis in Colombia and Mexico Using Complex Networks and Open Data Platforms;Evaluating Pre-attentive Perception of Visibility Graphs for Representing ECG Signals;system for Self-Care Support of Inpatient and/or Home Care Patients by Monitoring Vital Signs with an IoT-Self-Adaptive Prototype: A Systematic Study;Parkinson Disease Rehabilitation Routines Described as Robot Instructions for PARKIBIP;Educational Strategies and Tools Based on AI: A Systematic Mapping for the Personalization of Learning;Trends in Adaptive Graphical User Interfaces in Moodle LMS systems Through Artificial Intelligence Techniques;GAMITIC- ICT Literacy Tool for Teachers in Vulnerable Zones;Computational Thinking (CT) measurement Model Based on Bloom's Taxonomy and the GQM Model;Enhancing Vocational Guidance with Machine Learning: Predicting STEM Career Viability for High School Students;student Attrition in Higher Education: A Systematic Mapping of Causes and Retention Strategies;case Study: Design of a Training Strategy to Improve Learning Outcomes Through the Development of Integrative Projects;data Generation Strategies for the Application of Adaptive Learning Analytics;reference Model of Appropriation of Digital Technologies for Learning in Higher Education Institutions;esmeralda: Support for Early Detection and Initial Intervention of Dyslexia in First-Grade Students Through the Development of Digital Educational Resources;Women in STEAM Through the Lens of an Immersive-Based Storytelling Design;Evaluating Motivation for Initiating a Digital Transformation Process in MSMEs.
Computational notebooks, widely used for ad-hoc analysis and often shared with others, can be difficult to understand because the standard linear layout is not optimized for reading. In particular, related text, code,...
详细信息
暂无评论