5186 search results - page 241 / 1038 » Embedded Systems |
186
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
198
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
173
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
166
click to vote
CSREAESA
2007
15 years 8 months ago
2007
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...
170
click to vote
FPGA
1999
ACM
15 years 10 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...