نتایج جستجو برای: microprocessors
تعداد نتایج: 3632 فیلتر نتایج به سال:
Overcoming Hard-Faults in High-Performance Microprocessors by Amin Ansari
We propose in this paper a study of the Coq proof assistant for formally verifying microprocessors. We show that interactive proofs with Coq are only required to verify complex instructions of microprocessors. We give our speciication and veriication methodology and some details about the word library developed in Coq. Two full examples show additional speciication and veriication aspects. We a...
This paper contributes to the microstructure approach to exchange rates in two ways. Using a unique dataset that covers 100% of the Brazilian FX o¢ cial market, we nd a strict link between FX currency ows and the Balance of Payments. Second, we develop an identi cation strategy that allows us to properly estimate the behavior of each of the main players in the FX market: dealers and the premi...
Modern computer microprocessors are composed of hundreds of millions of transistors that interact through intricate protocols. Their performance during program execution may be highly variable and present aperiodic oscillations. In this paper, we apply current nonlinear time series analysis techniques to the performances of modern microprocessors during the execution of prototypical programs. O...
Microprocessors are becoming increasingly complex and difficult to debug. Researchers are constantly looking for new methods to increase the observability and control-lability of microprocessors. This paper introduces a new method to improve the observability of modern microprocessors and thus simplifying the task of debugging them. The method revolves around an observation circuit that provide...
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level power model is founded on a functional decomposition of the activities accomplished by a generic microprocessor. The proposed model has significant generalization capabilities. It allows estimation of the power figur...
Increasinglywider superscalarprocessors are experiencingdi-minishing performance returns while requiring larger portions of die area dedicated to control rather than datapath. As an alternative to using these processors to exploit parallelismeeectively, we are investigating the viability of using single-chip vector microprocessors. This paper presents some initial results of our investigation w...
As transistors become increasingly smaller and faster and noise margins become tighter, circuits and chip specially microprocessors tend to become more vulnerable to permanent and transient hardware faults. Most microprocessor designers focus on protecting memory elements among other parts of microprocessors against hardware faults through adding redundant error-correcting bits such as parity b...
Adoption of multi-microprocessors and distributed configuration in train overspeed protection system can increase system flexibility to be suitable for the requirements from varieties of transport modes. In order to ensure the system reliability, fault-tolerant techniques in hardware and software must be applied in the system. Communication among the microprocessors, namely, mutual communicatio...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید