1799 search results - page 272 / 360 » Design considerations for MRAM |
136
click to vote
WSC
2000
15 years 5 months ago
2000
Supply Chain management, the management of the flow of goods or services from materials stage to the end user, is a complex process because of the level of uncertainty at each sta...
140
click to vote
WSC
1997
15 years 5 months ago
1997
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...
119
click to vote
CASCON
1996
15 years 5 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
128
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
159
click to vote
C3S2E
2010
ACM
15 years 5 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...