20126 search results - page 3849 / 4026 » Timed Transition Systems |
265
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
138
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
144
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Much of the work done in the field of tangible interaction has focused on creating tools for learning; however, in many cases, little evidence has been provided that tangible inte...
97
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Web users have been employing numerous methods for recalling websites. Bookmarks have been around for some time, but the usefulness of such a system has been under question. The l...
139
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Due to power wall, memory wall, and ILP wall, we are facing the end of ever increasing single-threaded performance. For this reason, multicore and manycore processors are arising ...