Sciweavers

7429 search results - page 103 / 1486
» Embedded System Update
Sort
View
ICPADS
2007
IEEE
15 years 4 months ago
Embedded education for Computer Rank Examination
Embedded system has become one of the most important directions in computer education. Embedded system is at the intersection of control system, command and control, wireless data...
Tianzhou Chen, Weihua Hu, Qingsong Shi, Hui Yan
SOCO
2007
Springer
15 years 4 months ago
Streamlining Feature-Oriented Designs
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
Martin Kuhlemann, Sven Apel, Thomas Leich
ICFP
2010
ACM
14 years 10 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat
HASE
1999
IEEE
15 years 2 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
RTCSA
2009
IEEE
15 years 4 months ago
Towards Real Multi-criticality Scheduling
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan...