2838 search results - page 194 / 568 » Verifying Controlled Components |
TIP
2002
13 years 10 months ago
2002
This paper presents a discrete cosine transform (DCT)-based locally adaptive perceptual image coder, which discriminates between image components based on their perceptual relevanc...
SIGOPS
2010
13 years 5 months ago
2010
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
TE
2010
13 years 5 months ago
2010
Abstract--This paper presents a simple, cost-effective and robust atomic force microscope (AFM), which has been purposely designed and built for use as a teaching aid in undergradu...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
DEPCOS
2008
IEEE
14 years 5 months ago
2008
IEEE
In railway train-borne equipment, the Driver Machine Interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Com...