9110 search results - page 221 / 1822 » Formally-Based Design Evaluation |
178
click to vote
NETGAMES
2003
ACM
15 years 11 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
162
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Based on the important progresses made in information retrieval (IR) in terms of theoretical models and evaluations, more and more attention has recently been paid to the research...
181
click to vote
IS
2002
15 years 5 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
151
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Indirect input techniques allow users to quickly access all parts of tabletop workspaces without the need for physical access; however, indirect techniques restrict the available ...
177
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Cyclops is a new architecture for high performance parallel computers being developed at the IBM T. J. Watson Research Center. The basic cell of this architecture is a single-chip...