11022 search results - page 324 / 2205 » Programming Systems for Autonomy |
172
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
192
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
209
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
181
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
189
click to vote
CICLING
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...