37 search results - page 8 / 8 » A Method and a Technique to Model and Ensure Timeliness in S... |
LCPC
2005
Springer
14 years 29 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...