Sciweavers

6796 search results - page 225 / 1360
» Java for Embedded Systems
Sort
View
BIRTHDAY
2010
Springer
15 years 4 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ENTCS
2002
98views more  ENTCS 2002»
15 years 3 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
130
Voted
TC
2008
15 years 3 months ago
An Energy-Delay Tunable Task Allocation Strategy for Collaborative Applications in Networked Embedded Systems
Collaborative applications with energy and low-delay constraints are emerging in various networked embedded systems like wireless sensor networks and multimedia terminals. Conventi...
Tao Xie 0004, Xiao Qin
COMPSAC
2004
IEEE
15 years 7 months ago
Robustness Study of an Embedded Operating System for Industrial Applications
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
SPLC
2010
15 years 4 months ago
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama