11022 search results - page 308 / 2205 » Programming Systems for Autonomy |
210
click to vote
ICPPW
2005
IEEE
16 years 10 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
180
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
199
click to vote
BTW
1997
Springer
15 years 11 months ago
1997
Springer
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
230
click to vote
ICS
1992
Tsinghua U.
15 years 10 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
224
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...