10899 search results - page 291 / 2180 » The GP Programming System |
177
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...
196
click to vote
BTW
1997
Springer
15 years 10 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...
227
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...
221
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...
168
click to vote
FTCS
1998
15 years 8 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...