Semantic Scholar uses AI to extract papers important to this topic.
Control-Flow Integrity (CFI) has been recognized as an important low-level security property. Its enforcement can defeat most… Expand Recent advances in graphics processing units (GPUs) have resulted in massively parallel hardware that is easily programmable and… Expand The Workflow Patterns Initiative was established with the aim of delineating the fundamental requirements that arise during… Expand What mechanisms of flow control do animals use to enhance hydrodynamic performance? Animals are capable of manipulating flow… Expand Renewable energy sources like wind, sun, and hydro are seen as a reliable alternative to the traditional energy sources such as… Expand This paper presents a new signature monitoring technique, CFCSS (control flow checking by software signatures); CFCSS is a pure… Expand First, we review some previous work on networked control systems (NCSs) and offer some improvements. Then, we summarize the… Expand Abstract In spite of all efforts to design safer systems, we still witness severe, large-scale accidents. A basic question is: Do… Expand This paper reports an experimental study investigating the effectiveness of two code-based test adequacy criteria for identifying… Expand This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program… Expand