Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A Hybrid Architecture Framework for Simulations in a Service‐Oriented EnvironmentHannay, Jo Erskine ; Brathen, Karsten ; Mevassvik, Ole MartinSystems engineering, 2017-05, Vol.20 (3), p.235-256 [Periódico revisado por pares]Hoboken: Wiley Subscription Services, IncTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Side-Channel Power Resistance for Encryption Algorithms Using Implementation DiversityBow, Ivan ; Bete, Nahome ; Saqib, Fareena ; Che, Wenjie ; Patel, Chintan ; Robucci, Ryan ; Chan, Calvin ; Plusquellic, JimCryptography, 2020-06, Vol.4 (2), p.13 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
ISAMAP: instruction mapping driven by dynamic binary translationSouza, Maxwell ; Nic$#225;cio, Daniel ; Araújo, Guido Varbanescu, Ana Lucia ; Nieuwpoort, Rob ; Molnos, Anca ; Varbanescu, Ana Lucia ; Molnos, Anca ; van Nieuwpoort, RobComputer Architecture, 2012, p.117-138 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
DIRECTED ELECTROCHEMICAL NANOWIRE ASSEMBLY: PRECISE NANOSTRUCTURE ASSEMBLY VIA DENDRITIC SOLIDIFICATIONFLANDERS, BRET N.Modern physics letters. B, Condensed matter physics, statistical physics, applied physics, 2012-01, Vol.26 (1), p.1130001 [Periódico revisado por pares]World Scientific Publishing CompanyTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert DeveloperMarker, Bryan ; Poulson, Jack ; Batory, Don ; van de Geijn, Robert Nakajima, Kengo ; Marques, Osni ; Daydé, MichelHigh Performance Computing for Computational Science - VECPAR 2012, p.362-378 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Programming Support for Future Parallel ArchitecturesBenkner, Siegfried Vojnar, Tomáš ; Kofroň, JanMathematical and Engineering Methods in Computer Science, p.1-10 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Exploiting Thermal Coupling Information in MPSoC Dynamic Thermal ManagementCorbetta, Simone ; Fornaciari, William Hochberger, Christian ; Sick, Bernhard ; Daněk, Martin ; Kubátová, HanaArchitecture of Computing Systems – ARCS 2013, p.50-61 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Single Assignment C (SAC) High Productivity Meets High PerformanceGrelck, Clemens Horváth, Zoltán ; Zsók, Viktória ; Plasmeijer, RinusCentral European Functional Programming School, p.207-278 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
An Abstract Annotation Model for SkeletonsAldinucci, Marco ; Campa, Sonia ; Kilpatrick, Peter ; Tordini, Fabio ; Torquati, Massimo Bonsangue, Marcello M. ; Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S.Formal Methods for Components and Objects, p.257-276 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
A Model Based Development Approach for Distributed Embedded SystemsGilliers, Frédéric ; Kordon, Fabrice ; Regep, Dan Balsamo, Simonetta ; Knapp, Alexander ; Wirsing, MartinLecture notes in computer science, 2004, p.137-151 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |