1734 search results - page 181 / 347 » its 2000 |
151
click to vote
PADL
1999
Springer
15 years 10 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
165
click to vote
EMMCVPR
1997
Springer
15 years 10 months ago
1997
Springer
Consistent labelling problems frequently have more than one solution. Most work in the "eld has aimed at disambiguating early in the interpretation process, using only local ...
179
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
173
click to vote
ICPADS
2000
IEEE
15 years 9 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
161
click to vote
ICS
2000
Tsinghua U.
15 years 9 months ago
2000
Tsinghua U.
The Midimew network is an excellent contender for implementing the communication subsystem of a high performance computer. This network is an optimal 2D topology in the sense ther...