8671 search results - page 1429 / 1735 » A generator for hierarchical problems |
195
click to vote
ISPD
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...
180
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...
198
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
155
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
We previously developed a social mechanism for distributed reputation management, in which an agent combines testimonies from several witnesses to determine its ratings of another...
190
click to vote
CHARME
2003
Springer
16 years 21 hour ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...