854 search results - page 106 / 171 » Timing coverification of concurrent embedded real-time syste... |
RTCSA
2007
IEEE
15 years 4 months ago
2007
IEEE
Code optimization of the offset assignment generated in embedded systems allows for power and space efficient systems. We propose a new heuristic that uses edge classification to ...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...
RTS
2011
14 years 19 days ago
2011
This paper is an extended version of a paper that appeared in the proceedings of the IEEE Real-Time Systems Symposium 2009. This paper has been updated with respect to advances ma...
107
click to vote
CONCUR
1992
Springer
15 years 1 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
AAAI
2010
14 years 11 months ago
2010
Activity recognition based on data from mobile wearable devices is becoming an important application area for machine learning. We propose a novel approach based on a combination ...