11 search results - page 2 / 3 » On the expressive power of priorities in CHR |
160
click to vote
LATA
2009
Springer
16 years 25 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
156
click to vote
SAC
2009
ACM
16 years 26 days ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
157
click to vote
RTA
1995
Springer
15 years 9 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
184
click to vote
TCS
2008
15 years 6 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...