1370 search results - page 11 / 274 » On the Consistent Observation of Active Systems |
DSN
2003
IEEE
15 years 5 months ago
2003
IEEE
Clock-related operations are one of the many sources of replica non-determinism and of replica inconsistency in fault-tolerant distributed systems. In passive replication, if the ...
SRDS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this work we investigate software aging phenomena inside the Java Virtual Machine (JVM). Starting from an experimental campaign on real world testbeds, this work isolates the c...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
In most real-world situations, a single microphone is insufficient for the characterization of an entire auditory scene. This often occurs in places such as office environments ...
105
click to vote
ECAI
2010
Springer
15 years 24 days ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
PODC
1997
ACM
15 years 3 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...