1411 search results - page 96 / 283 » Interactive Coding for Interactive Proofs |
92
Voted
ALGORITHMICA
2008
15 years 21 days 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 ...
125
click to vote
NPC
2010
Springer
14 years 11 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...
100
click to vote
AOSD
2010
ACM
15 years 5 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...
100
Voted
CHI
2007
ACM
16 years 29 days 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...
ASIACRYPT
2009
Springer
15 years 7 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...