11022 search results - page 131 / 2205 » Programming Systems for Autonomy |
171
Voted
DKE
2010
15 years 5 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
182
Voted
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
145
click to vote
POPL
2012
ACM
14 years 12 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
140
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe semidefinite programming methods for system realization and identification. For each of these two applications, a variant of a simple subspace algorithm is presented, i...
133
click to vote
ECEASST
2008
15 years 4 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...