Sciweavers

1855 search results - page 39 / 371
» A coding theorem for distributed computation
Sort
View
ACSC
2004
IEEE
14 years 2 months ago
Code Improvements for Model Elimination Based Reasoning Systems
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
TCOM
2010
145views more  TCOM 2010»
13 years 9 months ago
Blind Cooperative Diversity Using Distributed Space-Time Coding in Block Fading Channels
— Mobile users with single antennas can still take advantage of spatial diversity through cooperative space-time encoded transmission. In this paper, we consider a scheme in whic...
Kamel Tourki, Mohamed-Slim Alouini, Luc Deneire
GI
2004
Springer
14 years 4 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
IPPS
2007
IEEE
14 years 5 months ago
SimX meets SCIRun: A Component-based Implementation of a Computational Study System
This paper describes the ongoing implementation of the SimX system for multi-experiment computational studies within the SCIRun problem solving environment. The modular, component...
Siu-Man Yau, Eitan Grinspun, Vijay Karamcheti, Den...