3565 search results - page 318 / 713 » Modeling a system controller for timing analysis |
171
Voted
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
135
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
126
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
A coherent and consistent understanding of corporate data is an important factor for effective management of diversified companies and implies a need for companywide unambiguous d...
131
Voted
ROBIO
2006
IEEE
15 years 10 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
149
click to vote
WSC
2007
15 years 7 months ago
2007
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...