Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Ata de Congresso
|
An Exploratory Study of Naturalistic Decision Making in Complex Software Architecture EnvironmentsPower, Ken ; Wirfs-Brock, RebeccaSoftware Architecture, p.55-70 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
12 |
Material Type: Ata de Congresso
|
DecoMine: A Compilation-Based Graph Pattern Mining System with Pattern DecompositionChen, Jingji ; Qian, XuehaiProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, 2022, p.47-61New York, NY, USA: ACMSem texto completo |
|
13 |
Material Type: Ata de Congresso
|
Optimizing for KNL Usage Modes When Data Doesn't Fit in MCDRAMButcher, Neil ; Olivier, Stephen L. ; Berry, Jonathan ; Hammond, Simon D. ; Kogge, Peter M.Proceedings of the 47th International Conference on Parallel Processing, 2018, p.1-10New York, NY, USA: ACMTexto completo disponível |
|
14 |
Material Type: Artigo
|
Memory bandwidth optimization of SpMV on GPGPUsYAN, Chenggang Clarence ; YU, Hui ; XU, Weizhi ; ZHANG, Yingping ; CHEN, Bochuan ; TIAN, Zhu ; WANG, Yuxuan ; YIN, JianFrontiers of Computer Science, 2015-06, Vol.9 (3), p.431-441 [Periódico revisado por pares]Beijing: Higher Education PressTexto completo disponível |
|
15 |
Material Type: Ata de Congresso
|
Research of Benchmarking and Selection for TSDBYe, Feng ; Liu, Zihao ; Zhu, Songjie ; Zhang, Peng ; Chen, YongAlgorithms and Architectures for Parallel Processing, p.642-655 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
16 |
Material Type: Ata de Congresso
|
Instruction encoding synthesis for architecture exploration using hierarchical processor modelsNohl, Achim ; Greive, Volker ; Braun, Gunnar ; Andreas, Andreas ; Leupers, Rainer ; Schliebusch, Oliver ; Meyr, HeinrichAnnual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.262-267New York, NY, USA: ACMTexto completo disponível |
|
17 |
Material Type: Ata de Congresso
|
DJXPerf: Identifying Memory Inefficiencies via Object-Centric Profiling for JavaLi, Bolun ; Su, Pengfei ; Chabbi, Milind ; Jiao, Shuyin ; Liu, XuProceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023, p.81-94New York, NY, USA: ACMSem texto completo |
|
18 |
Material Type: Artigo
|
A novel RTL behavioral description based ATPG methodYin, ZhiGang ; Min, YingHua ; Li, XiaoWei ; Li, HuaWeiJournal of computer science and technology, 2003-05, Vol.18 (3), p.308-317 [Periódico revisado por pares]Beijing: Springer Nature B.VTexto completo disponível |
|
19 |
Material Type: Ata de Congresso
|
DocToModel: Automated Authoring of Models from Diverse Requirements Specification DocumentsRajbhoj, Asha ; Nistala, Padmalata ; Kulkarni, Vinay ; Soni, Shivani ; Pathan, Ajim2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023, p.199-210Piscataway, NJ, USA: IEEE PressSem texto completo |
|
20 |
Material Type: Artigo
|
Formal reliability analysis of redundancy architecturesBozzano, Marco ; Cimatti, Alessandro ; Mattarei, CristianFormal aspects of computing, 2019-02, Vol.31 (1), p.59-94 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |