Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Improving Scalability of Exact Modulo Scheduling with Specialized Conflict-Driven LearningDai, Steve ; Zhang, Zhiru2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6New York, NY, USA: ACMSem texto completo |
|
2 |
Material Type: Ata de Congresso
|
Binary synthesis implementing external interrupt handler as independent moduleIto, Naoya ; Oosako, Yuuki ; Ishiura, Nagisa ; Kanbara, Hiroyuki ; Tomiyama, Hiroyuki2017 International Symposium on Rapid System Prototyping (RSP), 2017, p.92-98New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
Compiler-Directed Soft Error Mitigation for Embedded SystemsMartinez-Alvarez, A. ; Cuenca-Asensi, S. ; Restrepo-Calle, F. ; Pinto, F. R. P. ; Guzman-Miranda, H. ; Aguirre, M. A.IEEE transactions on dependable and secure computing, 2012-03, Vol.9 (2), p.159-172Washington: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming AssignmentsYang, Deheng ; He, Jiayu ; Mao, Xiaoguang ; Li, Tun ; Lei, Yan ; Yi, Xin ; Wu, JiangIEEE transactions on computer-aided design of integrated circuits and systems, 2024-05, Vol.43 (5), p.1594-1607 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
HAFIX: hardware-assisted flow integrity extensionDavi, Lucas ; Hanreich, Matthias ; Paul, Debayan ; Sadeghi, Ahmad-Reza ; Koeberl, Patrick ; Sullivan, Dean ; Arias, Orlando ; Jin, Yier2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, p.1-6New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Co-Design of a Controller and Its Digital Implementation: The MOBY-DIC2 Toolbox for Embedded Model Predictive ControlRavera, Alessandro ; Oliveri, Alberto ; Lodi, Matteo ; Bemporad, Alberto ; Heemels, W. P. M. H. ; Kerrigan, Eric C. ; Storace, MarcoIEEE transactions on control systems technology, 2023-11, Vol.31 (6), p.1-8 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Towards a Highly Interactive Design-Debug-Verification CycleKlemmer, Lucas ; Große, Daniel2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, p.692-697Piscataway, NJ, USA: IEEE PressSem texto completo |
|
8 |
Material Type: Artigo
|
CirFix: Automated Hardware Repair and Its Real-World ApplicationsSantiesteban, Priscila ; Huang, Yu ; Weimer, Westley ; Ahmad, HammadIEEE transactions on software engineering, 2023-07, Vol.49 (7), p.1-17 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Efficient and Scalable FPGA Design of GF( 2^m2m) Inversion for Post-Quantum CryptosystemsGalimberti, Andrea ; Montanaro, Gabriele ; Zoni, DavideIEEE transactions on computers, 2022-12, Vol.71 (12), p.3295-3307 [Periódico revisado por pares]IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Compact Models for Memristors Based on Charge-Flux Constitutive RelationshipsShin, Sangho ; Kim, Kyungmin ; Kang, Sung-MoIEEE transactions on computer-aided design of integrated circuits and systems, 2010-04, Vol.29 (4), p.590-598 [Periódico revisado por pares]New York: IEEETexto completo disponível |