8874 search results - page 1637 / 1775 » A New Implementation of Automath |
166
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
139
click to vote
ANCS
2006
ACM
15 years 10 months ago
2006
ACM
The fast spreading worm is becoming one of the most serious threats to today’s networked information systems. A fast spreading worm could infect hundreds of thousands of hosts w...
152
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
141
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
132
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Computer architects are constantly faced with the need to improve performance and increase the efficiency of computation in their designs. To this end, it is increasingly common ...