1760 search results - page 234 / 352 » Program Analysis Using Weighted Pushdown Systems |
135
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
126
click to vote
HICSS
1994
IEEE
15 years 6 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
101
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
105
Voted
TOCS
2012
13 years 4 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...
107
click to vote
CD
2004
Springer
15 years 7 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...