908 search results - page 97 / 182 » Temporal Analysis of Time Bounded Digital Systems |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
FAST
2007
14 years 11 months ago
2007
Continuous Data Protection (CDP) is a recent storage technology which enables reverting the state of the storage to previous points in time. We propose four alternative architectu...
100
click to vote
ICVS
1999
Springer
15 years 2 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
BMCBI
2008
14 years 10 months ago
2008
Background: This paper addresses key biological problems and statistical issues in the analysis of large gene expression data sets that describe systemic temporal response cascade...
INFORMATICALT
2002
14 years 9 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...