8056 search results - page 239 / 1612 » Object Behavior Analysis |
153
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
187
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
179
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
189
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In information retrieval, sub-space techniques are usually used to reveal the latent semantic structure of a data-set by projecting it to a low dimensional space. Non-negative mat...
186
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...