2206 search results - page 27 / 442 » On the power of coercion abstraction |
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
Abstract - We propose an integrated archltectural/physicdplanning approach named priority assignment optimization to mioimize the current surge in high performance power eifkient c...
COLING
1996
13 years 9 months ago
1996
Abstract: Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in parti...
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract
TIT
2008
13 years 7 months ago
2008
Abstract--We generalize the Gel'fand
CONCUR
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...