11022 search results - page 327 / 2205 » Programming Systems for Autonomy |
214
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent years, dynamic program execution traces have been utilized in an attempt to better understand the runtime behavior of various software systems. The unfortunate reality of...
179
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
185
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
192
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
179
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents the Simulation and Wavefront parallel-programming patterns of the MAP3S pattern-based parallel programming system for distributed-memory environments. Both ...