4693 search results - page 108 / 939 » Verifying Hybrid Systems |
92
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
100
click to vote
ISPEC
2010
Springer
15 years 2 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
92
Voted
IPCCC
2005
IEEE
15 years 6 months ago
2005
IEEE
The IEEE 802.11g standard has been proposed to enhance the data rate of wireless LAN connections up to 54Mbps, while ensuring backward compatibility with legacy 802.11b devices at...
89
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— This paper presents and evaluates a hybrid implementation of a low complexity algorithm for speech enhancement, the Adaptive Gain Equalizer (AGE). The AGE is a subband ...
178
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...