898 search results - page 58 / 180 » Comparing high-level modeling approaches for embedded system... |
109
click to vote
CJ
2004
14 years 11 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
MODELS
2007
Springer
15 years 6 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...
108
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ICPPW
2006
IEEE
15 years 5 months ago
2006
IEEE
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— By the generalized multi-carrier (GMC) principle a unified framework to describe various multi-carrier as well as single carrier approaches is established. In this paper1 the ...