2814 search results - page 101 / 563 » Competitive Analysis of Distributed Algorithms |
124
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
124
click to vote
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The Internet is a hierarchical architecture comprising heterogeneous entities of privately owned infrastructures, where higher level Internet service providers (ISPs) supply conne...
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a novel algorithm for temporal tracking of the fibrillatory frequency for Atrial Fibrillation (AF) ECG. Both Atrial activity extraction and fibrillatory frequency tra...
124
click to vote
TPDS
2008
15 years 2 months ago
2008
The Internet is a hierarchical architecture comprising heterogeneous entities of privately owned infrastructures, where higher level Internet service providers (ISPs) supply conne...
149
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
The BioJournalMonitor is a decision support system for the analysis of trends and topics in the biomedical literature. Its main goal is to identify potential diagnostic and therap...