Performance Assertion Checking
Performance assertion checking is an approach to describing and monitoring the performance of complex software systems. The idea is simple: system implementors write assertions that capture their expectations for performance, the system is instrumented to collect performance data, and then the as...
Main Author: | Perl, Sharon Esther |
---|---|
Other Authors: | Weihl, William E. |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149729 |
Similar Items
-
Performance assertion checking
by: Perl, Sharon Esther
Published: (2016) -
Clock Gating Assertion Check An Approach Towards Efficient Verification Closure On Clock Gating Functionality
by: Wang, Jian Zhong
Published: (2017) -
Non-sentential assertions
by: Stainton, Robert James Harold
Published: (2009) -
Conditional Propositions and Conditional Assertions
by: Stalnaker, Robert
Published: (2020) -
Proving Atomicity: An Assertional Approach
by: Chockler, Gregory, et al.
Published: (2005)