6300 search results - page 320 / 1260 » We have it easy, but do we have it right |
120
click to vote
GRID
2007
Springer
15 years 1 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
100
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
We compare the practical performance of several recently proposed algorithms for active learning in the online classification setting. We consider two active learning algorithms (...
SIGCSE
1999
ACM
15 years 6 months ago
1999
ACM
This paper describes our experiences in having students build a software engineering tool as a course project in a CS2 course. The tool, which we called JDuck Java DocumenterofCo...
FAC
2010
14 years 11 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
206
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
We report on our experience with the hardware transactional memory (HTM) feature of two pre-production revisions of a new commercial multicore processor. Our experience includes a...