1159 search results - page 79 / 232 » On The Next Move in Programming |
108
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
102
Voted
PODS
2005
ACM
16 years 21 days ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
93
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
96
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
93
Voted
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...