7762 search results - page 217 / 1553 » Availability in BitTorrent Systems |
91
Voted
EATCS
2002
15 years 3 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
130
Voted
RTS
1998
15 years 3 months ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
137
Voted
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
IBM's SMART (Self-Managing And Resource Tuning) project aims to make DB2 selfmanaging, i.e. autonomic, to decrease the total cost of ownership and penetrate new markets. Over...
111
click to vote
TSP
2010
14 years 10 months ago
2010
Blind recognition of communication parameters is a research topic of high importance for both military and civilian communication systems. Numerous studies about carrier frequency ...
99
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...