ACSD
2006
IEEE
14 years 3 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
ACSD
2006
IEEE
14 years 3 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
ACSD
2006
IEEE
14 years 3 months ago
2006
IEEE
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
Past studies have shown that objects are created and then die in phases. Thus, one way to sustain good garbage collection efficiency is to have a large enough heap to allow many ...
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
IWMM
2007
Springer
14 years 3 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
IWMM
2007
Springer
14 years 3 months ago
2007
Springer