2943 search results - page 435 / 589 » Software Implementation of Synchronous Programs |
172
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
129
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
86
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
120
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
109
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...