2838 search results - page 377 / 568 » Verifying Controlled Components |
ASWSD
2006
Springer
14 years 2 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
ENC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper deals with the problem of controlling highly dynamic mechatronic systems. Such systems may work in several different operation modes, or even underlie continuous mode c...
EUROPAR
2006
Springer
14 years 2 months ago
2006
Springer
In order to foster uptake by scientific and business users we need an easy way to access Grid resources. This is the motivation for the A-WARE project. We build upon a fabric layer...
FGR
2006
IEEE
14 years 2 months ago
2006
IEEE
Gabor feature has been widely recognized as one of the best representations for face recognition. However, traditionally, it has to be reduced in dimension due to curse of dimensi...
HPDC
2000
IEEE
14 years 2 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...