12107 search results - page 29 / 2422 » Software That Can Think |
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
ERCIMDL
2003
Springer
14 years 1 months ago
2003
Springer
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...
ADAEUROPE
2010
Springer
14 years 24 days ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
FOSSACS
1998
Springer
14 years 6 days ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
PPOPP
1995
ACM
13 years 11 months ago
1995
ACM
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...