1163 search results - page 190 / 233 » Case Studies of Model Checking for Embedded System Designs |
151
click to vote
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
137
click to vote
OIR
2007
15 years 1 months ago
2007
Purpose – This article is the third in a four-part series that aims to illustrate the process involved in planning a portal and creating a portal definition document. Design/me...
137
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
A Wireless Sensor Network (WSN) for Structural Health Monitoring (SHM) is designed, implemented, deployed and tested on the 4200ft long main span and the south tower of the Golden...
135
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
150
click to vote
NOCS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we examine a latency insensitive network composed of very fast and simple circuits that connects SoC cores that are also latency insensitive, de-synchronized, or asy...