11022 search results - page 417 / 2205 » Programming Systems for Autonomy |
208
click to vote
PLDI
2010
ACM
16 years 18 days ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
199
click to vote
IJCAI
2003
15 years 9 months ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
210
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
182
click to vote
ESEM
2009
ACM
16 years 2 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
174
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...