134 search results - page 16 / 27 » Logics and Models of Real Time: A Survey |
RTCSA
2009
IEEE
15 years 6 months ago
2009
IEEE
—Sensor processing is a common task within many embedded system domains, such as in control systems, the sensor feedback is used for actuator control. In this paper we have surve...
DDECS
2007
IEEE
15 years 6 months ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...
ENTCS
2007
14 years 11 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
CDB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
113
click to vote
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...