1173 search results - page 156 / 235 » Program Derivation Using Analogy |
127
Voted
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
115
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
132
Voted
PARA
1998
Springer
15 years 6 months ago
1998
Springer
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
106
click to vote
ICSM
1996
IEEE
15 years 6 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
107
click to vote
ECML
1997
Springer
15 years 6 months ago
1997
Springer
\Ibots" (Integrating roBOTS) is a computer experiment in group learning. It is designed to understand how to use reinforcement learning to program automatically a team of robo...