Showing 1 - 10 of 63 results for the Type - Conference Paper
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
In this paper, the authors provide a suggested set of auditing rules and a lexicon for auditing static analysis alerts.
In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.
In this work, we address the generation of narrations of autonomous mobile robot navigation experiences.
This paper presents a reference architecture for big data systems that is focused on addressing typical national defense requirements and that is vendor-neutral.
This paper reports on a study of issues from issue trackers to identify technical debt and present an approach for reporting technical debt in issue trackers.
This report documents the program and outcomes of Dagstuhl Seminar 16162, ,Managing Technical Debt in Software Engineering.Š We summarize the goals and format of the seminar.
This paper presents an architecture that automates metric collection processes for big data systems using a distributed runtime observability framework.
This paper presents an in-depth study of a safety-critical system that underwent major changes as a result of missed architectural dependencies.
Presented at the 2015 Supercomputing Conference, this paper shows that dynamic parallelism enables relatively high-performance graph algorithms for GPUs.