1168 search results - page 63 / 234 » cases 2000 |
ICCD
2000
IEEE
14 years 6 months ago
2000
IEEE
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
LPAR
2000
Springer
14 years 1 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
UAI
2000
13 years 11 months ago
2000
We give an interpretation of the Maximum Entropy (MaxEnt) Principle in gametheoretic terms. Based on this interpretation, we make a formal distinction between di erent ways of app...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
: We address the issue of standards development for the system-level design space. System-level design IP re-use standards are key to the future of the VSIA. However, the concept o...
ISPD
2000
ACM
14 years 2 months ago
2000
ACM
For a four-layer datapath routing environment, we present an algorithm that considers all the nets simultaneously. Routing probabilities are calculated for potential routing regio...