4520 search results - page 164 / 904 » Algebraic Techniques for Timed Systems |
198
Voted
MSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Mariner is an iSCSI-based storage system that is de signed to provide comprehensive data protection on com modity ATA disk and Gigabit Ethernet technologies while offering the...
261
click to vote
JPDC
2008
15 years 7 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
246
click to vote
CSREAESA
2010
15 years 5 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
183
click to vote
TCS
2002
15 years 6 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
185
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Channel estimation and multiuser detection are enabling technologies for future generations of wireless applications. However, sophisticated algorithms are required for accurate c...