2725 search results - page 260 / 545 » Constraint Solving for Interpolation |
168
click to vote
ASPDAC
2004
ACM
16 years 21 days ago
2004
ACM
- This paper presents a solution to the problem of designing interconnects for memory devices. More precisely, it solves the automatic routing problem of memory peripheral circuits...
212
click to vote
AISC
2004
Springer
16 years 20 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
161
click to vote
ATAL
2004
Springer
16 years 20 days ago
2004
Springer
Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buying agents when trying to determine the best set of provid...
202
click to vote
ICLP
2004
Springer
16 years 19 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
189
click to vote
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...