E-LIB Suche - Ergebnisse für: Pina-Luis, Georgina

1

CONFETTI: Amplifying Concolic Guidance for Fuzzers:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Kukucka, James ; Pina, Luis ; Ammann, Paul. - p. 438-450 , 2022

Link: https://doi.org/10.1145/..

2

CONFETTI : amplifying concolic guidance for fuzzers:

, In: Proceedings of the 44th International Conference on Software Engineering,

Kukucka, James ; Pina, Luís ; Ammann, Paul. - p. 438-450 , 2022

Link: https://dl.acm.org/doi/1..

3

MVEDSUA : Higher Availability Dynamic Software Updates v..:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,

Pina, Luís ; Andronidis, Anastasios ; Hicks, Michael. - p. 573-585 , 2019

Link: https://dl.acm.org/doi/1..

4

FreeDA : deploying incompatible stock dynamic analyses i..:

, In: Proceedings of the 15th ACM International Conference on Computing Frontiers,

Pina, Luís ; Andronidis, Anastasios ; Cadar, Cristian - p. 1-10 , 2018

Link: https://dl.acm.org/doi/1..

5

Towards deployment-time dynamic analysis of server applicat..:

, In: Proceedings of the 13th International Workshop on Dynamic Analysis,

Pina, Luís ; Cadar, Cristian - p. 35-36 , 2015

Link: https://dl.acm.org/doi/1..

6

Rubah : DSU for Java on a stock JVM:

, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,

Pina, Luís ; Veiga, Luís ; Hicks, Michael - p. 103-119 , 2014

Link: https://dl.acm.org/doi/1..

7

Atomic dynamic upgrades using software transactional memory:

, In: Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades,

Pina, Luís ; Cachopo, João - p. 21-25 , 2012

Link: https://dl.acm.org/doi/1..

8

Profiling and tuning the performance of an STM-based concur..:

, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11,

Pina, Luís ; Cachopo, João - p. 105-110 , 2011

Link: https://dl.acm.org/doi/1..

9

BRUBIKE: A Dataset of Bicycle Traffic and Weather Condition..:

, In: 2019 IEEE International Smart Cities Conference (ISC2),

Broucke, Steven Vanden ; Pina, Luis Manuel Vidal ; Do, Tien Huu. - p. 432-437 , 2019

Link: https://doi.org/10.1109/..

10

Status of Cuban Coral Reefs:

, In: Coral Reefs of Cuba; Coral Reefs of the World,

Pina-Amargós, Fabián ; González-Díaz, Patricia ; González-Sansón, Gaspar... - p. 283-307 , 2023

Link: https://doi.org/10.1007/..

11

Contributors:

, In: Development in Wastewater Treatment Research and Processes,

Agrawal, Komal ; Aguilar-González, Cristóbal Noé ; Ali, Moazam... - p. xix-xxv , 2022

Link: https://doi.org/10.1016/..

12

Prospects for the Improvement of Energy Performance in Agro..:

, In: IFIP Advances in Information and Communication Technology; Technological Innovation for Life Improvement,

Simão, Carlos ; Murta-Pina, João ; Coelho, Luís... - p. 277-289 , 2020

Link: https://doi.org/10.1007/..

13

List of Contributors:

, In: Hydrogels for Tissue Engineering and Regenerative Medicine,

Alemán, María Elena ; Ambrosio, Luigi ; Annabi, Nasim... - p. xv-xxiii , 2024

Link: https://doi.org/10.1016/..

14

Contributors:

, In: CRISPRized Horticulture Crops,

Abbas, Muhammad Fahim ; Abdelmoneim, Taghreed Khaled ; Abd-Elsalam, Kamel A.... - p. xvii-xxii , 2024

Link: https://doi.org/10.1016/..

15

Rotomation: AI Powered Rotoscoping at LAIKA:

, In: ACM SIGGRAPH 2020 Talks,

Stringer, Jeff ; Sundararajan, Narayan ; Pina, James... - p. 1-2 , 2020

Link: https://dl.acm.org/doi/1..