5506 search results - page 302 / 1102 » Visualizing Software Changes |
212
Voted
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
190
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
201
click to vote
IMA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Software based side-channel attacks allow an unprivileged spy process to extract secret information from a victim (cryptosystem) process by exploiting some indirect leaka...
176
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
243
Voted
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...