535 search results - page 51 / 107 » Termination of Abstract Reduction Systems |
PPL
2008
13 years 10 months ago
2008
Algorithmic skeletons intend to simplify parallel programming by providing a higher abstraction compared to the usual message passing. Task and data parallel skeletons can be dist...
SYNASC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
ESSOS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—In this paper we present reduced-complexity highperformance receivers for single-user MIMO systems that employ coded OFDM transmission with bit-interleaved coded modulat...
ICETE
2004
13 years 11 months ago
2004
Abstract: In this paper a novel payment system for Peer-to-Peer (P2P) commerce transactions is presented. It implements electronic cash-based transactions, between buyers and merch...