3281 search results - page 555 / 657 » Bases for parametrized iterativity |
127
click to vote
ITS
1998
Springer
15 years 5 months ago
1998
Springer
The growing emphasis on learner-centered education focuses on intrinsically motivated learning via engaging problem-solving activities. Habitable 3D learning environments, in which...
111
click to vote
INFOCOM
1997
IEEE
15 years 5 months ago
1997
IEEE
BMTP offers rate controlled multicast with reliability, high throughput, and support for large numbers of receivers. A multicast sender needs feedback from receivers to recover fr...
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
119
click to vote
KDD
1997
ACM
15 years 5 months ago
1997
ACM
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
123
Voted
SIGSOFT
1996
ACM
15 years 5 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...