SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
Differing views have been expressed on the appropriateness of the friend construct in the design and implementation of object-oriented software in C++. However, little empirical a...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
The concept of software cohesion in both the procedural and object-oriented paradigm is well known and documented. What is not so well known or documented is the perception of wha...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...