983 search results - page 122 / 197 » Object-oriented Abstractions for Distributed Programming |
148
Voted
EUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper studies the effect of communicationlink weighting schemes and long-range connections in speeding convergence to consensus on the average of the inputs to age...
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The features of the IA64 architecture create new opportunities for link-time optimization. At the same time they complicate the design of a link-time optimizer. This pape...
119
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
115
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...