2661 search results - page 485 / 533 » Quantum Complexity Classes |
174
click to vote
MOBIHOC
2004
ACM
16 years 2 months ago
2004
ACM
Greedy geographic routing is attractive in wireless sensor networks due to its efficiency and scalability. However, greedy geographic routing may incur long routing paths or even ...
142
click to vote
POPL
2010
ACM
16 years 15 days ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
165
click to vote
SODA
2010
ACM
16 years 15 days ago
2010
ACM
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
134
click to vote
EUROSYS
2006
ACM
16 years 6 days ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
113
click to vote
ICCD
2006
IEEE
16 years 1 days ago
2006
IEEE
— We have entered an era where chip yields are decreasing with scaling. A new concept called intelligible testing has been previously proposed with the goal of reversing this tre...