762 search results - page 63 / 153 » A study of the uniqueness of source code |
ESSOS
2010
Springer
14 years 6 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
We study the compression problem of visual scenes acquired with a camera for transmission or storage. Our proposed model is general and includes two well-known cases: that of vide...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present solutions to statically load-balance scatter operations in parallel codes run on Grids. Our loadbalancing strategy is based on the modification of the data distributio...
AIIDE
2006
13 years 10 months ago
2006
We extend the open source Quake 3 Arena code base released by Id Software to include modification friendly code segments, art asset blueprints, external agent control and percepti...