Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Benchmarking
19
Benchmark models
6
Computational experiment
6
ATLAS detectors
4
Arbitrary color
4
Equitable coloring
4
Exact algorithms
4
Proton proton collisions
4
Resonance
4
Tellurium compounds
4
ALL-SAT
3
Automata composition
3
Boolean functions
3
Clause learning
3
Conjunctive normal forms
3
Construction approaches
3
Decision theory
3
FSA intersection
3
Finite automata
3
Finite state
3
Intersection grammars (FSIG)
3
Model counting
3
Pattern matching
3
Propositional satisfiability
3
Regular expression compilation
3
Regular expressions
3
Running time
3
SAT solvers
3
Several variables
3
State-of-the-art performance
3
-
1Publicado 2018Materias: “...Benchmarks...”
-
2Materias: “...Benchmarks...”
SER -
3por Cristallini, Ernesto Osvaldo, García, Víctor Hugo, Guzmán, Cecilia Griselda, Yagupsky, Daniel LeonardoMaterias: “...Benchmarking...”
Publicado 2016
-
4por 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 -
5Publicado 2001Materias: “...Benchmarking...”
-
6Materias: “...Benchmarking...”
JOUR -
7Materias: “...Benchmarking...”
-
8Materias: “...Benchmarking...”
JOUR -
9Publicado 2015Materias: “...Benchmark models...”
-
10
-
11Publicado 2017Materias: “...Benchmarking...”
-
12por Donato, Esteban D.Materias: “...BENCHMARKING ANALYSIS...”
Publicado 2009
Tesis de maestría publishedVersion -
13Materias: “...Benchmarking...”
CONF -
14
-
15Publicado 2019Materias: “...Benchmarking...”
-
16
-
17
-
18por Leopold, S.R., Parodi, F., Nesmachnow, S., Mocskos, E., Barrios Hernandez C.J., Gitler I., Klapp J.Materias: “...Micro-benchmarking...”
SER -
19Materias: “...Benchmarking...”
-
20por Méndez Díaz, I., Nasini, G., Severín, D., Associacao Portuguesa de Investigacao Operacional; de Lisboa, Centro de Investigacao Operacional; Faculdade de Ciencias da Universidade; Fundacao para a Ciencia e a Tecnologia; Instituto Nacional de Estatistica; Universite Paris-Dauphine, LAMSADEMaterias: “...Benchmarking...”
SER