Repairing event race errors by controlling nondeterminism
Modern web applications are written in an event-driven style, in which event handlers
execute asynchronously in response to user or system events. The nondeterminism arising …
execute asynchronously in response to user or system events. The nondeterminism arising …
A generalized flow for multi-class and binary classification tasks: An Azure ML approach
M Bihis, S Roychowdhury - … Conference on Big Data (Big Data), 2015 - ieeexplore.ieee.org
The constant growth in the present day real-world databases pose computational
challenges for a single computer. Cloud-based platforms, on the other hand, are capable of …
challenges for a single computer. Cloud-based platforms, on the other hand, are capable of …
Automated formal analysis and verification: an overview
This paper provides an overview of various existing approaches to automated formal
analysis and verification. The most space is devoted to the approach of model checking …
analysis and verification. The most space is devoted to the approach of model checking …
Uncertainty analysis of race conditions in real-time systems
S He, S Li, Y Chen, D Guo - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
Race conditions in real-time systems may cause unexpected computing result. Due to the
uncertainty of realtime systems, a race condition detected by many static and dynamic …
uncertainty of realtime systems, a race condition detected by many static and dynamic …
Accuracy bugs: A new class of concurrency bugs to exploit algorithmic noise tolerance
Parallel programming introduces notoriously difficult bugs, usually referred to as
concurrency bugs. This article investigates the potential for deviating from the conventional …
concurrency bugs. This article investigates the potential for deviating from the conventional …
Performance and accuracy analysis of programs using approximation techniques
R Akram - 2017 - search.proquest.com
Approximate programming is becoming more important due to its potential for improving
performance and consequently, energy efficiency by trading off programs' accuracy but not …
performance and consequently, energy efficiency by trading off programs' accuracy but not …
Automated testing techniques for event-driven and dynamically typed software applications
CQ Adamsen - 2018 - pure.au.dk
Software testing is the process of executing a software application on a set of inputs, and
determining if the application behaves as intended on these inputs. This thesis focuses on …
determining if the application behaves as intended on these inputs. This thesis focuses on …
Tuning lock-based multicore program based on sliding windows to tolerate data race
Because in-house debugging and test are difficult to discover all potential data races in
multicore programs, it is necessary and significant to tolerate the potential data races in the …
multicore programs, it is necessary and significant to tolerate the potential data races in the …
[PDF][PDF] Asymmetric Runtime Environments for Increased-Performance Speculative PDES
A e Gestionale, A Ruberti, L Altamura, A Pellegrini… - 2020 - alessandropellegrini.it
Future exascale systems will require runtime environments able to manage the complexity of
the underlying heterogeneus hardware. This thesis discusses about asymmetric features in …
the underlying heterogeneus hardware. This thesis discusses about asymmetric features in …
[PDF][PDF] A Complete Bibliography of IEEE Transactions on Computers (2010–2019)
NHF Beebe - 2023 - ctan.math.utah.edu
A Complete Bibliography of IEEE Transactions on Computers (2010–2019) Page 1 A
Complete Bibliography of IEEE Transactions on Computers (2010–2019) Nelson HF Beebe …
Complete Bibliography of IEEE Transactions on Computers (2010–2019) Nelson HF Beebe …