191 search results - page 22 / 39 » Deterministic coding for interactive communication |
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
102
click to vote
WAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
HPDC
2000
IEEE
15 years 4 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...
102
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In this paper, we consider the problem of multifunctional compression with side information. The problem is how we can compress a source X so that the receiver is able t...