7429 search results - page 442 / 1486 » Embedded System Update |
164
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
A block-level continuous data protection (CDP) system logs every disk block update from an application server (e.g., a file or DBMS server) to a storage system so that any disk u...
154
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
172
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
191
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
157
click to vote
RTCSA
1995
IEEE
15 years 10 months ago
1995
IEEE
In conventional database systems, performance is primarily measured by the number of transactions completed within a unit time. In real-time applications, timing and criticality c...