1228 search results - page 180 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
WDAG
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
DATE
2007
IEEE
14 years 5 months ago
2007
IEEE
— System-on-Chip designs often have a large number of timing domains. Communication between these domains requires synchronization, and the failure probabilities of these synchro...
ECIR
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
SWAP
2007
13 years 12 months ago
2007
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
WCE
2007
13 years 12 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...