Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Lucas Bang"'
Autor:
María Laura Almada, Lucas Bang, Mariela Cestare, Silvia Grinberg, Andrés Pérez, María Eugenia Venturini, Carla Villagran
Publikováno v:
Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 15, Iss 5, Pp 104-122 (2023)
La pandemia produjo un shock (Grinberg, Verón y Bussi, 2020) que la población no había experimentado, al menos en el curso del siglo XXI y que instaló, entre otros aspectos, la incertidumbre respecto del porvenir y el temor al contacto humano. En
Externí odkaz:
https://doaj.org/article/3ff1961e3c0a4f52811593b9415465e2
Autor:
María Laura Almada, Lucas Bang, Mariela Cestare, Silvia Grinberg, Andrés Pérez, María Eugenia Venturini, Carla Villagran
Publikováno v:
Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 11, Iss 4, Pp 37-69 (2019)
El papel del Estado es, sin duda, clave en lo que refiere al despliegue de los recursos que una sociedad requiere para atender las demandas, contingencias y necesidades de la población. El Estado toma posición respecto de las cuestiones públicas q
Externí odkaz:
https://doaj.org/article/c09bb55c2b9e42d084644bdc724c86f1
Autor:
Luis Ricardo Sandoval, Lucas Bang
Publikováno v:
Textos y Contextos desde el Sur, Vol 3, Iss 5 (2017)
En noviembre de 2016 tuvieron lugar en la Sede Comodoro Rivadavia de la UNPSJB las XXº Jornadas Nacionales de Investigadores en Comunicación, con un programa que evidenció la cada vez mayor heterogeneidad que muestra el campo. No es para menos: la
Externí odkaz:
https://doaj.org/article/3290a988b92d4f21a8f049f2b0d70305
Autor:
Andrés Felipe Perez, María Eugenia Venturini, Carla Andrea Villagran, Mariela Cestare, María Laura Almada, Lucas Bang, Silvia Mariela Grinberg
Publikováno v:
Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 11, Iss 4, Pp 37-69 (2019)
El papel del Estado es, sin duda, clave en lo que refiere al despliegue de los recursos que una sociedad requiere para atender las demandas, contingencias y necesidades de la población. El Estado toma posición respecto de las cuestiones públicas q
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89798a849ade1ee196b7b7707d02fd6
https://publicaciones.unpa.edu.ar/index.php/ICTUNPA/article/view/403
https://publicaciones.unpa.edu.ar/index.php/ICTUNPA/article/view/403
Autor:
Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 45:20-22
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb6f34a542708d7be6ee77ad40a548a1
https://doi.org/10.1145/3385678.3385685
https://doi.org/10.1145/3385678.3385685
Autor:
Ibrahim Abughararh, Josh Cordova, Sofia Devin, Lucas Bang, Sofiane Dissem, Emily Lu, Gabriel Bessler, Shaheen Cullen-Baratloo
Publikováno v:
ICSE (Companion Volume)
This paper presents Metrinome, a tool for performing automatic path complexity analysis of C functions. The path complexity of a function is an expression that describes the number of paths through the function up to a given execution depth. Metrinom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec3dae2375e70b74b3a48fa7a40d7171
https://doi.org/10.1109/icse-companion52605.2021.00028
https://doi.org/10.1109/icse-companion52605.2021.00028
Publikováno v:
ESEC/SIGSOFT FSE
Model counting procedures for data structures are crucial for advancing the field of automated quantitative program analysis. We present a tool for Model Counting for Bounded Array Theory (MCBAT). MCBAT works on quantified integer array constraints i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::29c33ea6868bb4346575b96ee0628559
https://doi.org/10.1145/3368089.3417937
https://doi.org/10.1145/3368089.3417937
Publikováno v:
GandALF
We present a method of automatically synthesizing steps to solve search problems. Given a specification of a search problem, our approach uses symbolic execution to analyze the specification in order to extract a set of constraints which model the pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19086ba3ceea48c85beb5e0a30da3d27
http://arxiv.org/abs/2009.10877
http://arxiv.org/abs/2009.10877
Publikováno v:
MOCO
This paper presents the development of the TED (Tap Encoding Decoding) program with results and reflections on its usage. TED is a program to be used in partnership with a tap dancer for decoding tap dancing audio. To perform with TED, a tap dancer m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dae1d74cf2edc2f833533ecc7130e822
https://doi.org/10.1145/3401956.3404231
https://doi.org/10.1145/3401956.3404231
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE
VSTTE
Model counting procedures for data structures are crucial for advancing the field of automated quantitative program analysis. We present an algorithm and practical tool for performing Model Counting for Bounded Array Theory (MCBAT). As the satisfiabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0138ea90ba81aea7c62adedfbb6d7610
https://doi.org/10.1007/978-3-030-63618-0_8
https://doi.org/10.1007/978-3-030-63618-0_8