9316 search results - page 252 / 1864 » Analysis of traceback techniques |
201
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
170
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
149
Voted
WSC
1998
15 years 7 months ago
1998
This paper reviews statistical methods for analyzing output data from computer simulations of single systems. In particular, it focuses on the problems of choosing initial conditi...
144
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation models are built with the intent of studying the behavior of the real system represented by the model. However, a simulation model generates random outputs; thus, the d...
178
click to vote
CG
2007
Springer
15 years 5 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...