1163 search results - page 20 / 233 » Case Studies of Model Checking for Embedded System Designs |
131
click to vote
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
105
click to vote
SAMOS
2005
Springer
15 years 7 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
149
Voted
DOLAP
1999
ACM
15 years 6 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
123
Voted
MATES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...