43190 search results - page 8517 / 8638 » Can Development Be Designed |
143
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
We present MTCP, a congestion control scheme for large-scale reliable multicast. Congestion control for reliable multicast is important, because of its wide applications in multim...
152
click to vote
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Recent research advocates using general message predictors to learn and predict the coherence activity in distributed shared memory (DSM). By accurately predicting a message and t...
148
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
128
click to vote
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
161
click to vote
VISUALIZATION
1999
IEEE
15 years 8 months ago
1999
IEEE
Conventional projector-based display systems are typically designed around precise and regular configurations of projectors and display surfaces. While this results in rendering s...