4421 search results - page 743 / 885 » Libraries |
108
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
125
click to vote
TSD
2010
Springer
14 years 11 months ago
2010
Springer
In the past decade great technological advances have been made in internet services, personal computers, telecommunications, media and entertainment. Many of these advances have be...
123
Voted
USS
2010
14 years 11 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
131
click to vote
USS
2010
14 years 11 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
129
click to vote
WCET
2010
14 years 11 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...