1163 search results - page 61 / 233 » Case Studies of Model Checking for Embedded System Designs |
107
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
135
click to vote
EDOC
2000
IEEE
15 years 8 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
147
Voted
CASE
2011
14 years 4 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
162
Voted
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
140
click to vote
MTV
2003
IEEE
15 years 9 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...