3281 search results - page 555 / 657 » Bases for parametrized iterativity |
187
click to vote
ITS
1998
Springer
15 years 10 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...
268
click to vote
INFOCOM
1997
IEEE
15 years 10 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...
152
click to vote
IPPS
1997
IEEE
15 years 10 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...
177
click to vote
KDD
1997
ACM
15 years 10 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...
172
click to vote
SIGSOFT
1996
ACM
15 years 10 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 ...