4401 search results - page 442 / 881 » Computing with Default Logic |
206
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
157
click to vote
ACL
1994
15 years 8 months ago
1994
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
202
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
: Due to exponential increase in subthreshold leakage with technology scaling and temperature increase, leakage power is becoming a major fraction of total power in the active mode...
165
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
181
click to vote
HPCA
2004
IEEE
16 years 7 months ago
2004
IEEE
Design of wakeup-free issue queues is becoming desirable due to the increasing complexity associated with broadcast-based instruction wakeup. The effectiveness of most wakeup-free...