5241 search results - page 236 / 1049 » Embedded Programming with C |
115
click to vote
RTAS
2008
IEEE
15 years 9 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. ...
136
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
108
click to vote
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
112
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
116
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...