( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Microprocessor Verification via Feedback-Adjusted Markov Models.

, , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (6): 1126-1138 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Valeria Merlo

Valeria Sordi

Valeria Mospanova

Valeria Tano

Valeria Bartsch

 

Другие публикации лиц с тем же именем

ArChiVED: Architectural checking via event digests for high performance validation., , , , и . DATE, стр. 1-6. European Design and Automation Association, (2014)SAGA: SystemC acceleration on GPU architectures., , , и . DAC, стр. 115-120. ACM, (2012)Microarchitectural power modeling techniques for deep sub-micron microprocessors., , , , и . ISLPED, стр. 212-217. ACM, (2004)Software-Based Online Detection of Hardware Defects Mechanisms, Architectural Support, and Evaluation., , , и . MICRO, стр. 97-108. IEEE Computer Society, (2007)Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 27 (2): 380-393 (2008)Approximating checkers for simulation acceleration., , , , , , и . DATE, стр. 153-158. IEEE, (2012)CrashTest'ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions., , , , , , , , и . DATE, стр. 1106-1109. IEEE, (2012)High-radix on-chip networks with low-radix routers., , и . ICCAD, стр. 289-294. IEEE, (2014)STACCATO: disjoint support decompositions from BDDs through symbolic kernels., и . ASP-DAC, стр. 276-279. ACM Press, (2005)Depth-driven verification of simultaneous interfaces., , и . ASP-DAC, стр. 442-447. IEEE, (2006)