11022 search results - page 344 / 2205 » Programming Systems for Autonomy |
166
click to vote
ICDCS
1991
IEEE
15 years 10 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
189
click to vote
INFSOF
2010
15 years 5 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
223
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
167
click to vote
ECOOP
2007
Springer
16 years 29 days ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
186
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...