914 search results - page 163 / 183 » Design spaces: The explicit representation of spaces of alte... |
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
HT
1999
ACM
15 years 1 months ago
1999
ACM
With the growth of the Web as a public information resource, users need workspaces to support the collection, evaluation, organization, and annotation of the materials they retrie...
DEXAW
1999
IEEE
15 years 1 months ago
1999
IEEE
The design of efficient textual similarities is an important issue in the domain of textual data exploration. Textual similarities are for example central in document collection s...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...