1635 search results - page 182 / 327 » DIPC: A System Software Solution for Distributed Programming |
134
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
138
Voted
ECOOPW
2007
Springer
15 years 7 months ago
2007
Springer
Following last three years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'07 workshop was a successful and po...
114
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
113
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
272
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...