226 search results - page 5 / 46 » A Language for the Compact Representation of Multiple Progra... |
MSR
2006
ACM
14 years 1 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
LCTRTS
2005
Springer
14 years 1 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
FROCOS
2009
Springer
14 years 5 days ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We present a method for learning feature descriptors using multiple images, motivated by the problems of mobile robot navigation and localization. The technique uses the ...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...