3591 search results - page 473 / 719 » Typing linear constraints |
193
click to vote
DSD
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
148
click to vote
GLVLSI
2003
IEEE
16 years 17 days ago
2003
IEEE
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...
163
click to vote
ITC
2003
IEEE
16 years 16 days ago
2003
IEEE
1 This paper addresses the issue of testing and diagnosing a memory core embedded in a complex SOC. The proposed solution is based on a P1500-compliant wrapper that follows a progr...
211
click to vote
RTAS
2003
IEEE
16 years 16 days ago
2003
IEEE
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...
207
click to vote
WOLLIC
2010
Springer
16 years 9 days ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...