Crumbs: Utilizing Functional Programming for Hardware Trace Data Analysis
暂无分享,去创建一个
[1] Lin Li,et al. A non-intrusive, operating system independent spinlock profiler for embedded multicore systems , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
[2] Leonardo Mariani,et al. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications , 2016, Lecture Notes in Computer Science.
[3] Dmitry Shkatov,et al. On complexity of propositional linear-time temporal logic with finitely many variables , 2017, SAICSIT.
[4] Martin Leucker,et al. Online analysis of debug trace data for embedded systems , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[5] Bernd Finkbeiner,et al. LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[6] César Sánchez,et al. TeSSLa: runtime verification of non-synchronized real-time streams , 2018, SAC.
[7] Jason Gait,et al. A probe effect in concurrent programs , 1986, Softw. Pract. Exp..
[8] Feather-Trace : A Light-Weight Event Tracing Toolkit ∗ , 2007 .
[9] Giuseppe De Giacomo,et al. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces , 2013, IJCAI.
[10] University of Glasgow , 1862, Nature.
[11] Neal Stollon. Infineon Multicore Debug Solution , 2011 .
[12] Ashok B. Mehta. System Verilog Assertions , 2014 .