Sciweavers

3733 search results - page 576 / 747
» Performance Evaluation of an Operating System Transaction Ma...
Sort
View
USS
2010
14 years 11 months ago
Re: CAPTCHAs-Understanding CAPTCHA-Solving Services in an Economic Context
Reverse Turing tests, or CAPTCHAs, have become an ubiquitous defense used to protect open Web resources from being exploited at scale. An effective CAPTCHA resists existing mechan...
Marti Motoyama, Kirill Levchenko, Chris Kanich, Da...
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 8 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
SIGMETRICS
1996
ACM
174views Hardware» more  SIGMETRICS 1996»
15 years 5 months ago
Embra: Fast and Flexible Machine Simulation
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
Emmett Witchel, Mendel Rosenblum
ICC
2007
IEEE
149views Communications» more  ICC 2007»
15 years 8 months ago
Channel Delay Impact on CCSDS File Delivery Protocol (CFDP) over Space Communications Links
—A substantially long round trip time (RTT) in space channel hurts TCP interactions between the sending and receiving ends. The Consultative Committee for Space Data Systems (CCS...
Ruhai Wang, Bidhya L. Shrestha, Xiaoli Ma
SIGMOD
2009
ACM
201views Database» more  SIGMOD 2009»
16 years 1 months ago
Cost based plan selection for xpath
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...