7434 search results - page 1218 / 1487 » Still |
185
click to vote
SLIP
2005
ACM
16 years 26 days ago
2005
ACM
Routability optimization has become a major concern in the physical design cycle of VLSI circuits. Due to the recent advances in VLSI technology, interconnect has become a dominan...
188
click to vote
SOUPS
2005
ACM
16 years 26 days ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
218
click to vote
TLDI
2005
ACM
16 years 26 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
213
click to vote
VEE
2005
ACM
16 years 26 days ago
2005
ACM
Virtual machines (VMs) are commonly used to distribute programs in an architecture-neutral format, which can easily be interpreted or compiled. A long-running question in the desi...
196
click to vote
AOSE
2005
Springer
16 years 25 days ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...