1583 search results - page 223 / 317 » Using Multi-context Systems to Engineer Executable Agents |
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
CGO
2003
IEEE
15 years 3 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...
110
click to vote
ADAEUROPE
2010
Springer
15 years 2 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...