8874 search results - page 1646 / 1775 » A New Implementation of Automath |
142
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
125
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
Abstract— The success of classical high level synthesis has been limited by the complexity of the applications it can handle, typically not large enough to necessitate the depart...
185
click to vote
ISPD
2005
ACM
15 years 10 months ago
2005
ACM
Placement is a critical component of today's physical synthesis flow with tremendous impact on the final performance of VLSI designs. However, it accounts for a significant p...
144
click to vote
ISPD
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we present a very fast and accurate rectilinear Steiner minimal tree (RSMT)1 algorithm called FLUTE. The algorithm is an extension of the wirelength estimation appr...
120
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Most well-known Internet worms, such as Code Red, Slammer, and Blaster, infected vulnerable computers by scanning the entire Internet IPv4 space. In this paper, we present a new s...