16091 search results - page 429 / 3219 » Solving |
142
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...
178
click to vote
WDAG
1998
Springer
15 years 11 months ago
1998
Springer
We present fault detectors for transient faults, (i.e. corruptions of the memory of the processors, but not of the code of the processors). We distinguish fault detectors for tasks...
167
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
159
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Approximation has been shown to be an eective method for reducing the time and space costs of solving various oorplan area minimization problems. In this paper, we present several...
263
click to vote
ISTCS
1997
Springer
15 years 11 months ago
1997
Springer
We investigate the power of quantum computers when they are required to return an answer that is guaranteed to be correct after a time that is upper-bounded by a polynomial in the...