179 search results - page 14 / 36 » Implementing BDI-like Systems by Direct Execution |
110
click to vote
ICTL
1994
15 years 3 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
ATC
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
ISLPED
2000
ACM
15 years 4 months ago
2000
ACM
The power consumption of mixed-signal systems featured by an analog front-end, a digital back-end, and with signal processing tasks that can be computed with multiplications and a...
110
click to vote
TCS
2002
14 years 11 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
107
click to vote
CSCLP
2005
Springer
15 years 5 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...