1690 search results - page 71 / 338 » Algorithmic Properties of Millstream Systems |
104
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
120
Voted
WDAG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
121
Voted
GEM
2008
15 years 5 months ago
2008
This paper presents a realtime music composition system based on a theme and variation approach. The system uses MIDI and allows up to sixteen instruments to play together. Each in...
172
Voted
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
140
Voted
IPTPS
2004
Springer
15 years 9 months ago
2004
Springer
We investigate an approach for routing in p2p networks called neighbor-of-neighbor greedy. We show that this approach may reduce significantly the number of hops used, when routi...