515 search results - page 10 / 103 » A Hardware Software Framework for Real-Time Spiking Systems |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Embedded software design for real time reactive system
ECBS
2010
IEEE
15 years 4 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...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
100
click to vote
WORDS
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...