1163 search results - page 171 / 233 » Case Studies of Model Checking for Embedded System Designs |
133
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
139
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
166
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
114
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
151
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Image retrieval has been widely used in many fields of science and engineering. The semantic concept of user interest is obtained by a learning process. Traditional techniques oft...