11022 search results - page 241 / 2205 » Programming Systems for Autonomy |
186
click to vote
VISSYM
2004
15 years 7 months ago
2004
Modern object-oriented programs are hierarchical systems with many thousands of interrelated subsystems. Visualization helps developers to better comprehend these large and comple...
169
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
187
click to vote
EOR
2011
14 years 10 months ago
2011
We consider a system of m linear equations in n variables Ax = d and give necessary and sufficient conditions for the existence of a unique solution to the system that is integer:...
162
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
198
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...