2678 search results - page 123 / 536 » Operational Semantics of Transactions |
131
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
130
click to vote
AI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
157
click to vote
FUIN
2002
15 years 4 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
143
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
We present a cross-layer customization methodology for latency and bandwidth efficient inter-core communication in embedded multiprocessors. The methodology integrates compiler, o...
122
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
In an interactive embedded system, special task execution patterns and scheduling constraints exist due to frequent human-computer interactions. This paper proposes a transaction-...