1739 search results - page 189 / 348 » Battery Model for Embedded Systems |
167
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
119
Voted
AUTOMATICA
2004
15 years 3 months ago
2004
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
108
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
154
Voted
ASIASIM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
139
click to vote
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...