4520 search results - page 356 / 904 » Algebraic Techniques for Timed Systems |
196
click to vote
ICSM
2006
IEEE
16 years 1 months ago
2006
IEEE
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
221
click to vote
PODC
1997
ACM
15 years 11 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...
193
click to vote
ICAD
2004
15 years 9 months ago
2004
In this paper, we select the application domain of earthquake engineering for utility of sonification, where signals are of random frequency and amplitude content. In particular, ...
169
click to vote
COLING
1990
15 years 8 months ago
1990
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...
174
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper proposes a probabilistic technique that enables a node to estimate the number of its neighbors that fulfill certain criteria. The technique does not require any a pr...