3730 search results - page 388 / 746 » Robust design of embedded systems |
169
click to vote
TISSEC
2002
15 years 6 months ago
2002
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
207
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...
185
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
171
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
205
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...