1509 search results - page 162 / 302 » Tracking Real-Time Systems Requirements |
CASES
2005
ACM
13 years 10 months ago
2005
ACM
Out-of-memory errors are a serious source of unreliability in most embedded systems [22]. Applications run out of main memory because of the frequent difficulty of estimating the ...
EICS
2010
ACM
14 years 1 months ago
2010
ACM
The Anoto technology uses a non-repetitive pattern printed on paper to enable a camera-equipped pen to locate its absolute position on that pattern. This technology is also used o...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...