Sciweavers

681 search results - page 38 / 137
» Aspects for Trace Monitoring
Sort
View
ICC
2007
IEEE
108views Communications» more  ICC 2007»
15 years 6 months ago
Subspace Methods for Network Resource Reservation Coding Processes
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
Alexandru Murgu
RV
2007
Springer
100views Hardware» more  RV 2007»
15 years 6 months ago
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
101
Voted
RTAS
1997
IEEE
15 years 4 months ago
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
Monica Brockmeyer, Farnam Jahanian, Constance L. H...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 3 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
WSC
2000
15 years 1 months ago
Facilitating level three cache studies using set sampling
We discuss some of the difficulties present in trace collection and trace-driven cache simulation. We then describe our multiprocessor tracing technique and verify that it accurat...
Niki C. Thornock, J. Kelly Flanagan