9110 search results - page 1634 / 1822 » Formally-Based Design Evaluation |
138
click to vote
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Operators and researchers want accurate router-level views of the Internet for purposes including troubleshooting and modeling. However, tools such as traceroute return IP address...
164
click to vote
IMC
2010
ACM
15 years 1 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
193
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
The dynamic marketplace in online advertising calls for ranking systems that are optimized to consistently promote and capitalize better performing ads. The streaming nature of on...
147
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
135
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
As the number of cores and threads in manycore compute accelerators such as Graphics Processing Units (GPU) increases, so does the importance of on-chip interconnection network des...