2485 search results - page 27 / 497 » Time Bounded Frequency Computations |
ENTCS
2006
13 years 7 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
While improving raw performance is of primary interest to most users of high-performance computers, energy consumption also is a critical concern. Some microprocessors allow volta...
EUC
2006
Springer
13 years 11 months ago
2006
Springer
We present the first Utility Accrual (or UA) real-time scheduling algorithm for multiprocessors, called gMUA. The algorithm considers an application model where real-time activiti...
ATS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we present a methodology that uses the moments of a generic crosstalk pulse signal to derive upper bounds on the amplitude of crosstalk pulse in arbitrary interconn...
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
Orthogonal frequency division multiplexing (OFDM) is very sensitive to frequency offsets which result in considerable interference. Performance of the system will be exacerbated ...