Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Benchmarking
22
Benchmark models
6
Computational experiment
6
ALL-SAT
4
ATLAS detectors
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
Proton proton collisions
4
Regular expression compilation
4
Regular expressions
4
Resonance
4
Running time
4
SAT solvers
4
Several variables
4
State-of-the-art performance
4
Tellurium compounds
4
-
1
-
2
-
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 2018Materias: “...Benchmarks...”
-
10Materias: “...Benchmarks...”
SER -
11Publicado 2017Materias: “...Benchmarking...”
-
12por Donato, Esteban D.Materias: “...BENCHMARKING ANALYSIS...”
Publicado 2009
Tesis de maestría publishedVersion -
13por Donato, Esteban D.Materias: “...BENCHMARKING ANALYSIS...”
Publicado 2009
Tesis de maestría publishedVersion -
14Materias: “...Benchmarking...”
CONF -
15
-
16Publicado 2019Materias: “...Benchmarking...”
-
17
-
18
-
19por Leopold, S.R., Parodi, F., Nesmachnow, S., Mocskos, E., Barrios Hernandez C.J., Gitler I., Klapp J.Materias: “...Micro-benchmarking...”
SER -
20Materias: “...Benchmarking...”