4767 search results - page 139 / 954 » Structures for Abstract Rewriting |
116
click to vote
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
134
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
118
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
123
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets an...
132
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...