11022 search results - page 343 / 2205 » Programming Systems for Autonomy |
148
click to vote
ORL
2006
15 years 6 months ago
2006
We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We int...
220
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
211
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
163
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
181
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...