4067 search results - page 428 / 814 » Programs for Applying Symmetries |
167
click to vote
PRDC
2006
IEEE
16 years 23 days ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
167
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
170
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
227
click to vote
PLDI
2006
ACM
16 years 21 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
182
click to vote
SIGSOFT
2006
ACM
16 years 21 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...