79 search results - page 7 / 16 » Model-Driven Engineering of Machine Executable Code |
ISSTA
2010
ACM
14 years 15 days ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
PPPJ
2009
ACM
14 years 3 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...