1411 search results - page 96 / 283 » Interactive Coding for Interactive Proofs |
105
click to vote
ALGORITHMICA
2008
15 years 2 months ago
2008
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
140
Voted
NPC
2010
Springer
15 years 1 months ago
2010
Springer
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
122
Voted
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
118
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
111
Voted
ASIACRYPT
2009
Springer
15 years 9 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...