3689 search results - page 619 / 738 » A Language with Distributed Scope |
TAICPART
2006
IEEE
15 years 4 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
AOSD
2006
ACM
15 years 4 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
ECLIPSE
2006
ACM
15 years 4 months ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
ASAP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...