Dark patterns are ubiquitous in digital systems, impacting users throughout their journeys on many popular apps and websites. While substantial efforts from the research community in the last five years have led to co...
详细信息
What-if analysis (WIA) is essential for data-driven decision-making, allowing users to assess how changes in variables impact outcomes and explore alternative scenarios. Existing WIA research primarily supports the wo...
详细信息
The proceedings contain 74 papers. The topics discussed include: in three steps to software product lines: a practical example from the automotive industry;improving the customization of software product lines through...
ISBN:
(纸本)9781450394437
The proceedings contain 74 papers. The topics discussed include: in three steps to software product lines: a practical example from the automotive industry;improving the customization of software product lines through the definition of local features;quality-aware analysis and optimization of virtual network functions;evolvable SPL management with partial knowledge: an application to anomaly detection in time series;from feature models to feature toggles in practice;extended abstract: we’re not gonna break it! consistency-preserving operators for efficient product line configuration;multidisciplinary variability management for cyber-physical production systems;feature and variability extraction from agile specifications and their related source code for software product line migration;Baital: an adaptive weighted sampling platform for configurable systems;and Acapulco: an extensible tool for identifying optimal and consistent feature model configurations.
Shared control is an emerging interaction paradigm in which a human and an AI partner collaboratively control a system. Shared control unifies human and artificial intelligence, making the human's interactions wit...
详细信息
In this systematic review, we analyze the literature on psychological ownership of virtual objects and environments according to the PRISMA statement. Psychological ownership describes the feelings of possession towar...
详细信息
The proceedings contain 74 papers. The topics discussed include: in three steps to software product lines: a practical example from the automotive industry;improving the customization of software product lines through...
ISBN:
(纸本)9781450392068
The proceedings contain 74 papers. The topics discussed include: in three steps to software product lines: a practical example from the automotive industry;improving the customization of software product lines through the definition of local features;quality-aware analysis and optimization of virtual network functions;evolvable SPL management with partial knowledge: an application to anomaly detection in time series;from feature models to feature toggles in practice;extended abstract: we’re not gonna break it! consistency-preserving operators for efficient product line configuration;multidisciplinary variability management for cyber-physical production systems;feature and variability extraction from agile specifications and their related source code for software product line migration;Baital: an adaptive weighted sampling platform for configurable systems;and Acapulco: an extensible tool for identifying optimal and consistent feature model configurations.
Intermittently operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors caused by Write After Read (WAR) dependencies. A powerful method of code protection...
详细信息
ISBN:
(纸本)9781450392655
Intermittently operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors caused by Write After Read (WAR) dependencies. A powerful method of code protection for systems with non-volatile main memory utilizes compiler analysis to insert a checkpoint inside each WAR violation in the code. However, such software frameworks are oblivious to the code structure-and therefore, inefficient-when many consecutive WAR violations exist. Our insight is that by transforming the input code, i.e., moving individual write operations from unique WARs close to each other, we can significantly reduce the number of checkpoints. This idea is the foundation for WARio: a set of compiler transformations for efficient code generation for intermittent computing. WARio, on average, reduces checkpoint overhead by 58%, and up to 88%, compared to the state of the art across various benchmarks.
Debugging garbage collectors for performance and correctness is notoriously difficult. Among the arsenal of tools available to systems engineers, support for one of the most powerful, tracing, is lacking in most garba...
详细信息
ISBN:
(纸本)9798400703805
Debugging garbage collectors for performance and correctness is notoriously difficult. Among the arsenal of tools available to systems engineers, support for one of the most powerful, tracing, is lacking in most garbage collectors. Instead, engineers must rely on counting, sampling, and logging. Counting and sampling are limited to statistical analyses while logging is limited to hard-wired metrics. This results in cognitive friction, curtailing innovation and optimization. We demonstrate that tracing is well suited to GC performance debugging. We leverage the modular design of MMTk to deliver a powerful VM and collector-neutral tool. We find that tracing allows: i) cheap insertion of tracepoints-just 14 lines of code and no measurable run-time overhead, ii) decoupling of the declaration of tracepoints from tracing logic, iii) high fidelity measurement able to detect subtle performance regressions, while also allowing iv) interrogation of a running binary. Our tools crisply highlight several classes of performance bug, such as poor scalability in multi-threaded GCs, and lock contention in the allocation sequence. These observations uncover optimization opportunities in collectors, and even reveal bugs in application programs. We showcase tracing as a powerful tool for GC designers and practitioners. Tracing can uncover missed opportunities and lead to novel algorithms and new engineering practices.
In electrical power systems, transformers are considered the most expensive and important components. During the service period, the transformer oil insulation is exposed to a number of stresses and, hence, is subject...
详细信息
The proceedings contain 4 papers. The topics discussed include: conquering noise with hardware counters on HPC systems;generating and analyzing program call graphs using ontology;performance debugging and tuning of Fl...
ISBN:
(纸本)9781665475648
The proceedings contain 4 papers. The topics discussed include: conquering noise with hardware counters on HPC systems;generating and analyzing program call graphs using ontology;performance debugging and tuning of Flash-X with data analysis tools;and performance analysis of the CFD solver coda - harnessing synergies between application and performance tools developers.
暂无评论