535 search results - page 53 / 107 » Do we need dependent types |
PC
1998
13 years 7 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...
FLAIRS
2004
13 years 9 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...
ASPDAC
2008
ACM
13 years 9 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...
SIAMCOMP
2010
13 years 2 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...
INEX
2005
Springer
14 years 1 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...