Sciweavers

70 search results - page 4 / 14
» On the Relative Expressive Power of Asynchronous Communicati...
Sort
View
TWC
2008
101views more  TWC 2008»
14 years 11 months ago
Interplay of spectral efficiency, power and doppler spectrum for reference-signal-assisted wireless communication
Expressions relating spectral efficiency, power, and Doppler spectrum, are derived for Rayleigh-faded wireless channels with Gaussian signal transmission. No side information on th...
Angel Lozano
CP
2010
Springer
14 years 10 months ago
Testing Expressibility Is Hard
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
Ross Willard
ECOOP
1995
Springer
15 years 3 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
Ichiro Satoh, Mario Tokoro
96
Voted
FOCS
2004
IEEE
15 years 3 months ago
On the Streaming Model Augmented with a Sorting Primitive
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
Gagan Aggarwal, Mayur Datar, Sridhar Rajagopalan, ...
91
Voted
ISCAS
2008
IEEE
147views Hardware» more  ISCAS 2008»
15 years 6 months ago
An asynchronous time-based image sensor
Abstract— In this paper we propose a fully asynchronous, timebased image sensor, which is characterized by high temporal resolution, low data rate (near complete temporal redunda...
Christoph Posch, Daniel Matolin, Rainer Wohlgenann...