1696 search results - page 302 / 340 » Knowledgeable development environments using shared design m... |
134
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Email is one of the most prevalent communication tools today, and solving the email overload problem is pressingly urgent. A good way to alleviate email overload is to automatical...
134
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
125
click to vote
TON
2008
15 years 2 months ago
2008
Scalability considerations drive the evolution of switch design from output queueing to input queueing and further to combined input and crosspoint queueing (CICQ). However, CICQ s...
124
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
145
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...