535 search results - page 53 / 107 » Do we need dependent types |
134
Voted
PC
1998
15 years 3 months ago
1998
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...
116
Voted
FLAIRS
2004
15 years 4 months ago
2004
In E-learning systems, where both helpers (tutors) and learners are separated geographically, finding a reliable helper is one of the most important challenges. Although helpers c...
153
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
152
Voted
SIAMCOMP
2010
14 years 10 months ago
2010
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
126
Voted
INEX
2005
Springer
15 years 9 months ago
2005
Springer
In this article the activities of the INEX 2005 Multimedia track are reported. We succesfully realized our objective, to provide an evaluation platform for the evaluation of retrie...