515 search results - page 44 / 103 » A Hardware Software Framework for Real-Time Spiking Systems |
237
click to vote
RTCSA
2005
IEEE
15 years 11 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 ...
160
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
156
click to vote
LCN
2007
IEEE
16 years 13 days ago
2007
IEEE
—This paper presents a framework to address the combination of ubiquitous computing interests as an Intelligent Assisting Location-Aware Service and development of its hardware a...
153
click to vote
RTAS
2008
IEEE
16 years 16 days 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. ...
148
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...