1690 search results - page 97 / 338 » Algorithmic Properties of Millstream Systems |
127
Voted
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
166
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
This paper describes a new approach to pitch marking. Unlike other approaches that use the same combination of features for the whole signal, we take into account the signal prope...
112
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
129
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies ...
134
Voted
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...