5232 search results - page 649 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
164
click to vote
VTC
2006
IEEE
16 years 25 days ago
2006
IEEE
Oscillator phase noise (PN) in orthogonal frequency division multiplexing (OFDM) systems can cause severe performance degradation. In contrary to the assumptions made previously, r...
171
click to vote
ACSC
2005
IEEE
16 years 14 days ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
163
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
212
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
194
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...