5639 search results - page 235 / 1128 » Timed Abstract Non-interference |
144
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
111
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Flash memory is a good candidate for the storage device in real-time systems due to its non-fluctuating performance, low power consumption and high shock resistance. Ho...
138
click to vote
ECWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
119
click to vote
GPC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...
112
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...