Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Menéndez, David
35  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Alive-Infer: data-driven precondition inference for peephol..:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Menendez, David ; Nagarakatte, Santosh - p. 49-63 , 2017
Link: https://dl.acm.org/doi/1..
 
?
2

Termination-checking for LLVM peephole optimizations:

, In: Proceedings of the 38th International Conference on Software Engineering,
Menendez, David ; Nagarakatte, Santosh - p. 191-202 , 2016
Link: https://dl.acm.org/doi/1..
 
?
3

Provably correct peephole optimizations with alive:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh. - p. 22-32 , 2015
Link: https://dl.acm.org/doi/1..
 
?
4

6G Architecture for Enabling Predictable, Reliable and Dete..:

, In: 2024 IEEE Wireless Communications and Networking Conference (WCNC),
Szilagyi, Peter ; Contreras-Murillo, Luis Miguel ; Menendez, David Rico.. - p. 1-6 , 2024
Link: https://doi.org/10.1109/..
 
?
5

MOGCLA : A Multi-Objective Genetic Clustering Algorithm ..:

, In: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation,
Menéndez, Héctor David ; Camacho, David - p. 1437-1438 , 2015
Link: https://dl.acm.org/doi/1..
 
?
6

Voice control applied to intelligent and automatic coffee m..:

, In: 2023 IEEE Central America and Panama Student Conference (CONESCAPAN),
de Leon, Geovany Mauricio Azucena ; Sanchez, German Elias Cuchilla ; Rodriguez, Humberto Alejandro Navarrete. - p. 122-127 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Policy and Research on Citizenship Education in the United ..:

, In: Research Anthology on Instilling Social Justice in the Classroom,
Sant, Edda ; Alvarez-Hevia, David Menendez - p. 507-532 , 2020
Link: https://doi.org/10.4018/..
 
?
8

Detecting and Predicting Smart Car Collisions in Hybrid Env..:

, In: Lecture Notes in Networks and Systems; Information Systems and Technologies,
Menendez, Hector D. ; Kelly, David - p. 425-435 , 2024
Link: https://doi.org/10.1007/..
 
?
9

June: A Type Testability Transformation for Improved ATG Pe..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Bruce, Dan ; Kelly, David ; Menendez, Hector.. - p. 274-284 , 2023
Link: https://dl.acm.org/doi/1..
 
?
10

Dynamic Output State Classification for Quantum Computers:

, In: 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE),
Menendez, Hector D. ; Bello, Luciano ; Clark, David - p. 16-23 , 2023
Link: https://doi.org/10.1109/..
 
?
11

StableYolo: Optimizing Image Generation for Large Language ..:

, In: Lecture Notes in Computer Science; Search-Based Software Engineering,
Berger, Harel ; Dakhama, Aidan ; Ding, Zishuo... - p. 133-139 , 2023
Link: https://doi.org/10.1007/..
 
?
12

List of contributors:

, In: Peptide and Peptidomimetic Therapeutics,
Aharoni, Rina ; Ahmad, Zulfiqar ; Akhtar, Suhail... - p. xxiii-xxvii , 2022
Link: https://doi.org/10.1016/..
 
?
13

Ant Colony Optimization for Object-Oriented Unit Test Gener..:

, In: Lecture Notes in Computer Science; Swarm Intelligence,
Bruce, Dan ; Menéndez, Héctor D. ; Barr, Earl T.. - p. 29-41 , 2020
Link: https://doi.org/10.1007/..
 
?
14

List of contributors:

, In: Molecular Aspects of Plant Beneficial Microbes in Agriculture,
Aguilar-Marcelino, Liliana ; Ahmed, Mushtaq ; Al-Ani, Laith Khalil Tawfeeq... - p. xiii-xvi , 2020
Link: https://doi.org/10.1016/..
 
?
15

Future Perspective in Organic Farming Fertilization:

, In: Organic Farming,
Flores-Félix, José David ; Menéndez, Esther ; Rivas, Raúl. - p. 269-315 , 2019
Link: https://doi.org/10.1016/..
 
1-15