Sciweavers

3500 search results - page 179 / 700
» Implementing Java on Clusters
Sort
View
KBSE
2003
IEEE
14 years 4 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
AOSD
2003
ACM
14 years 4 months ago
Aspect-oriented programming with Jiazzi
We present aspect-oriented programming in Jiazzi. Jiazzi enhances Java with separately compiled, externally-linked code modules called units. Besides making programming in Java ge...
Sean McDirmid, Wilson C. Hsieh
SAC
2003
ACM
14 years 4 months ago
Enabling Mobile Agents to Dynamically Assume Roles
Agent-based application development must face the issues related to the interactions among agents. In fact, their sociality allows decomposing large applications into collaboratin...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
CC
2001
Springer
121views System Software» more  CC 2001»
14 years 3 months ago
Constant-Time Root Scanning for Deterministic Garbage Collection
Root scanning is the task of identifying references to heap objects that are stored outside of the heap itself, in global and local variables and on the execution stack. Root scann...
Fridtjof Siebert
APCSAC
2001
IEEE
14 years 2 months ago
Stacking them up: a Comparison of Virtual Machines
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
K. John Gough