Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
18
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Benchmarking
Computational experiment
6
ALL-SAT
4
Arbitrary color
4
Automata composition
4
Boolean functions
4
Clause learning
4
Conjunctive normal forms
4
Construction approaches
4
Decision theory
4
Equitable coloring
4
Exact algorithms
4
FSA intersection
4
Finite automata
4
Finite state
4
Intersection grammars (FSIG)
4
Model counting
4
Pattern matching
4
Propositional satisfiability
4
Regular expression compilation
4
Regular expressions
4
Running time
4
SAT solvers
4
Several variables
4
State-of-the-art performance
4
Adhesion
2
Administracion
2
Administración pública
2
Administration
2
Algorithms
2
-
1Publicado 2018Materias: “...Benchmarks...”
-
2Materias: “...Benchmarks...”
SER -
3Materias: “...Benchmarking...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
4Materias: “...Benchmarking...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
5
-
6por Del Giorgio Solfa, FedericoMaterias: “...Benchmarking...”
Publicado 2011
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
7por Valdés Alarcón, Marcos EduardoMaterias: “...Benchmarking...”
Publicado 2021
doctoralThesis Tésis de Doctorado publishedVersion Material Didáctico -
8por Memoli, LucianoMaterias: “...Benchmarking...”
Publicado 2016
Aportado por: Repositorio Digital (UFASTA)Tesis de grado acceptedVersion -
9
-
10
-
11Materias: “...Benchmarking...”
-
12por Cristallini, Ernesto Osvaldo, García, Víctor Hugo, Guzmán, Cecilia Griselda, Yagupsky, Daniel LeonardoMaterias: “...Benchmarking...”
Publicado 2016
-
13por Schreurs, G., Buiter, S.J.H., Boutelier, J., Burberry, C., Callot, J.-P., Cavozzi, C., Cerca, M., Chen, J.-H., Cristallini, E., Cruden, A.R., Cruz, L., Daniel, J.-M., Da Poian, G., Garcia, V.H., Gomes, C.J.S., Grall, C., Guillot, Y., Guzmán, C., Hidayah, T.N., Hilley, G., Klinkmüller, M., Koyi, H.A., Lu, C.-Y., Maillot, B., Meriaux, C., Nilfouroushan, F., Pan, C.-C., Pillot, D., Portillo, R., Rosenau, M., Schellart, W.P., Schlische, R.W., Take, A., Vendeville, B., Vergnaud, M., Vettori, M., Wang, S.-H., Withjack, M.O., Yagupsky, D., Yamada, Y.Materias: “...Benchmarking...”
JOUR -
14
-
15Publicado 2001Materias: “...Benchmarking...”
-
16Materias: “...Benchmarking...”
JOUR -
17por Del Giorgio Solfa, FedericoMaterias: “...Benchmarking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
18por Berti, MatiasMaterias: “...Benchmarking...”
Publicado 2019
Documento de conferencia acceptedVersion -
19por Pagliarulo, Silvana VanesaMaterias: “...Benchmarking...”
Publicado 2019
Aportado por: Biblioteca DigitalTesis de grado publishedVersion Tesina de grado -
20por Duzdevich, Juan PabloMaterias: “...Benchmarking...”
Publicado 2020
Aportado por: Repositorio Institucional UNCotrabajo final de grado bachelorThesis acceptedVersion