11603 search results - page 152 / 2321 » Securing Embedded Systems |
113
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
161
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
141
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
213
click to vote
CSMR
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
116
click to vote
NIPS
2003
15 years 3 months ago
2003
We describe a Markov chain method for sampling from the distribution of the hidden state sequence in a non-linear dynamical system, given a sequence of observations. This method u...