1578 search results - page 67 / 316 » Self-healing systems - survey and synthesis |
IICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
EUROSSC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
UAIS
2010
13 years 2 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
CRV
2009
IEEE
14 years 2 months ago
2009
IEEE
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Three-dimensional integrated circuits are a promising approach to address the integration challenges faced by current Systems on Chips (SoCs). Designing an efficient Network on C...