981 search results - page 112 / 197 » Semantics-aware trace analysis |
139
click to vote
ISCAPDCS
2003
15 years 4 months ago
2003
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
133
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
133
click to vote
ICTAC
2009
Springer
15 years 28 days ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
112
click to vote
PAM
2007
Springer
15 years 9 months ago
2007
Springer
We report results from the analysis of a 24-hour packet trace containing TCP traffic of approximately 1300 residential ADSL clients. Some of our observations confirm earlier studi...
168
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...