Sciweavers

1445 search results - page 64 / 289
» Properties of state spaces and their applications
Sort
View
FORMATS
2010
Springer
15 years 4 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
FMSD
2006
104views more  FMSD 2006»
15 years 6 months ago
Some ways to reduce the space dimension in polyhedra computations
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
Nicolas Halbwachs, David Merchat, Laure Gonnord
CODES
2006
IEEE
16 years 7 days ago
Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies
Real-time multi-media applications are increasingly being mapped onto MPSoC (multi-processor system-on-chip) platforms containing hardware-software IPs (intellectual property) alo...
Minyoung Kim, Sudarshan Banerjee, Nikil Dutt, Nali...
CORR
2007
Springer
80views Education» more  CORR 2007»
15 years 6 months ago
A structure from motion inequality
We state an elementary inequality for the structure from motion problem for m cameras and n points. This structure from motion inequality relates space dimension, camera parameter...
Oliver Knill, Jose Ramirez-Herran
ICC
2009
IEEE
141views Communications» more  ICC 2009»
16 years 28 days ago
Differential Space-Time-Frequency Codes for MB-OFDM UWB with Dual Carrier Modulation
Abstract—In a multiple-input multiple-output (MIMO) multiband orthogonal frequency division multiplexing (MB-OFDM) ultra-wideband (UWB) system, coherent detection where the chann...
Le Chung Tran, Alfred Mertins