Sciweavers

1937 search results - page 203 / 388
» Adaptation-based programming in java
Sort
View
ISSTA
2009
ACM
16 years 17 days ago
Identifying semantic differences in AspectJ programs
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
Martin Th Görg, Jianjun Zhao
FDL
2004
IEEE
15 years 9 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
AOSD
2006
ACM
16 years 1 days ago
Reusable aspect-oriented implementations of concurrency patterns and mechanisms
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
Carlos A. Cunha, João Luís Sobral, M...
SPC
2005
Springer
15 years 11 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
ECLIPSE
2004
ACM
15 years 11 months ago
MEProf: modular extensible profiling for Eclipse
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
Marc Hull, Olav Beckmann, Paul H. J. Kelly