Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal SafetyFilardo, NW ; Gutstein, BF ; Woodruff, J ; Clarke, J ; Rugg, P ; Davis, B ; Johnston, M ; Norton, R ; Chisnall, D ; Moore, SW ; Neumann, PG ; Watson, RNMhttp://dx.doi.org/10.1145/3620665.3640416 2024Texto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Testing Resource Isolation for System-on-Chip ArchitecturesLedent, Philippe ; Mateescu, Radu ; Serwe, WendelinarXiv.org, 2024Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
OptiWISE: Combining Sampling and Instrumentation for Granular CPI AnalysisGuo, Y ; Chadwick, AW ; Erdos, M ; Bora, U ; Vougioukas, I ; Gabrielli, G ; Jones, TMCGO 2024 - Proceedings of the 2024 IEEE/ACM International Symposium on Code Generation and Optimization 2024Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear SystemsGrande, D ; Fenucci, D ; Peruffo, A ; Anderlini, E ; Phillips, AB ; Thomas, G ; Salavasidis, GIEEE 2024Texto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Discipline and Erasure: Women Architects and the Making of Architecture as 'Discipline'Watkinson, C2024Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
LOW-COST WORKFLOW FOR 3D URBAN FOREST VIRTUAL RECONSTRUCTIONChioni, C. ; Murtiyoso, A. ; Favargiotti, S. ; Massari, G. A.International archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-1/W2-2023, p.1723-1728 [Periódico revisado por pares]Gottingen: Copernicus GmbHTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
TREE-LEVEL FUEL CONNECTIVITY TO ASSESS CROWN WILDFIRE POTENTIAL BY UAS-BASED PHOTOGRAMMETRYHerrero-Huerta, M. ; Sánchez-Jiménez, D. ; del Campo-Sanchez, A. ; Cifuentes-Jimenez, D. ; Piedelobo-Martín, L. ; de Andres-Anaya, P. ; Gonzalez-Gonzalez, E. ; Yali Samaniego, R. ; del Pozo, S. ; Hernandez-Lopez, D. ; Lagüela, S. ; González-Aguilera, D.International archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-1/W2-2023, p.1743-1748 [Periódico revisado por pares]Gottingen: Copernicus GmbHTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
|
9 |
Material Type: Ata de Congresso
|
![]() |
Design of Data Access Architecture Using ORM FrameworkMajerik, Filip ; Borkovcova, Monika2023 34th Conference of Open Innovations Association (FRUCT), 2023, Vol.34 (1), p.93-99 [Periódico revisado por pares]FRUCT OyTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Architectural Contracts for Safe SpeculationFuchs, Franz ; Woodruff, Jonathan ; van der Maas, Marno ; Rugg, Peter ; Joannou, Alexandre ; Richardson, Alexander ; Clarke, Jessica ; Filardo, Nathaniel Wesley ; Davis, Brooks ; Baldwin, John ; Neumann, Peter G ; Moore, Simon ; Watson, RobertDepartment of Computer Science and Technology 2023Texto completo disponível |