43264 search results - page 8042 / 8653 » Comparing models of computation |
183
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
148
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
136
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
Since 1995, much work has been done creating protocols for private information retrieval (PIR). Many variants of the basic PIR model have been proposed, including such modificati...
134
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
142
click to vote
ICS
2007
Tsinghua U.
15 years 11 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...