4693 search results - page 379 / 939 » Verifying Hybrid Systems |
167
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
138
click to vote
ICCNMC
2005
Springer
16 years 9 days ago
2005
Springer
Anonymity technologies have gained more and more attention for communication privacy. In general, users obtain anonymity at a certain cost in an anonymous communication system, whi...
226
click to vote
SPW
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
162
click to vote
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
The discrete multitone (DMT)transceivers have enjoyed great success in high speed data transmission. It is known that when the cyclicprefix is no shorterthan the channel impulse r...
172
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...