33 search results - page 4 / 7 » Verification by Parallelization of Parametric Code |
SPAA
2010
ACM
14 years 1 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
TRIER
2002
13 years 8 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Cryptographic check values (digital signatures, MACs and H-MACs) are useful only if they are free of errors. For that reason all of errors in cryptographic check values should be ...
HPCA
2008
IEEE
14 years 9 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...