33356 search results - page 6550 / 6672 » Models of Continual Computation |
170
click to vote
RTCSA
2007
IEEE
16 years 19 days ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
183
click to vote
SACI
2007
IEEE
16 years 19 days ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
165
click to vote
SMC
2007
IEEE
16 years 19 days ago
2007
IEEE
—Rain and snow can have a distorting effect on Ku and Ka bands signal fidelity resulting in excessive digital transmission errors. This loss of signal attenuation is commonly ref...
182
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
163
click to vote
ASIACRYPT
2007
Springer
16 years 16 days ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...