2523 search results - page 148 / 505 » Correct Development of Embedded Systems |
129
click to vote
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
131
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
100
Voted
RTCSA
1995
IEEE
15 years 6 months ago
1995
IEEE
In conventional database systems, performance is primarily measured by the number of transactions completed within a unit time. In real-time applications, timing and criticality c...
125
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...
133
Voted
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...