MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Performance Assertion Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Performance Assertion Checking
by Sharon Esther Perl, Sharon Esther Perl — 1992 — In Proceedings of the 14th ACM Symposium on Operating Systems Principles
…Performance Assertion Checking by Sharon Esther Perl S.M., Massachusetts Institute of Technology…
Cited by 25 (1 self) – Add To MetaCart

Continuous Monitoring and Performance Specification
by Sharon E. Perl, Sharon E. Perl, William E. Weihl, William E. Weihl, Brian Noble, Brian Noble — 1998
… for performance assertion checking, an approach to automating the testing of performance properties of complex…
Cited by 5 (0 self) – Add To MetaCart

Systems Research Center
by The Charter Of, Sharon E. Perl, Sharon E. Perl, William E. Weihl, William E. Weihl, Brian Noble, Brian Noble — 1991
… assertions that capture expectations for performance, which can then be checked automatically against…
Add To MetaCart

Utilizing Formal Assertions for System Design of Network
by Xi Chen, Yan Luo, Harry Hsieh, Laxmi Bhuyan — 2004 — Processors,” Proc. Design, Automation and Test in Europe Conf. and Exhibition Designers’ Forum (DATE 04), IEEE CS
… they be functional or performance in nature. In this paper, we apply assertion checking methodology to the system…
Cited by 2 (1 self) – Add To MetaCart

Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions
by Sumit Gulwani, Ashish Tiwari — 2006 — In ESOP, volume 3924 of LNCS
… is an undecidable problem. Hence, assertion checking is typically performed over some (sound) abstraction…
Cited by 4 (3 self) – Add To MetaCart

Manufacturer’s CORBA Interface Testing Toolkit: Overview
by David Flater — 1999 — Journal of Research of the National Institute of Standards and Technology
… values and out-values, and (when implemented) to perform assertion checking of the received values…
Cited by 4 (3 self) – Add To MetaCart

A run-time assertion checker for Java using JML
by Abhay Bhorkar, Abhay Bhorkar — 2000
… with the same name \Foo.java" that contains extra code to perform the assertion checks at run-time. The new code…
Cited by 16 (0 self) – Add To MetaCart

A Run-time Assertion Checker for Java using JML
by Abhay Bhorkar Tr, Abhay Bhorkar, Abhay Bhorkar — 2000
….java" that contains extra code to perform the assertion checks at run-time. The new code retains all the old source…
Add To MetaCart

I/O System Performance Debugging Using Model-driven Anomaly Characterization
by Kai Shen, Ming Zhong, Chuanpeng Li
…], complete system simulation [24], performance assertion checking [22], and detailed overheadcategorization…
Cited by 7 (3 self) – Add To MetaCart

Synthesis of synchronous assertions with guarded atomic actions
by Michael Pellauer, Mieszko Lis, Donald Baltus, Rishiyur Nikhil, The Systemverilog Standard Introduces Systemverilog — 2005 — In Formal Methods and Models for Co-Design, 2005, MEMOCODE'OS Proceedings
…. Also useful are performance assertions. These check that the device is performing its task…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB