English   español  

(IIIA) Artículos : [332]  

Buscar
Suscribirse para recibir un email cada vez que se grabe un nuevo ítem en esta colección. RSS Feed RSS Feed RSS Feed
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 332
 Siguiente >
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
closedAccessaccesoRestringido.pdf.jpg2016Tractability-preserving transformations of global cost functionsAllouche, David; Bessiere, Christian; Boizumault, Patrice; de Givry, Simon; Gutierrez, Patricia; Lee, Jimmy H.M.; Leung, Kalun; Loudni, Samir; Metivier, Jean Philippe; Schiex, Thomas; Wu, YiArtículo
openAccessIEEETC(2016)65(1)_256-69.pdf.jpg2016Thread Assignment in Multicore/Multithreaded Processors: A Statistical ApproachRadojkovic, Petar; Carpenter, Paul M.; Moreto, Miquel; Cakarevic, Vladimir; Verdu, Javier; Pajuelo, Alex; Cazorla, Francisco J.; Nemirovsky, Mario; Valero, MateoArtículo
closedAccessaccesoRestringido.pdf.jpg2016MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansionsVidal, AmandaArtículo
openAccessJIIS(2016)47(3)_447-67.pdf.jpg2016Measuring similarity of individuals in description logics over the refinement space of conjunctive queriesSanchez-Ruiz, Antonio A.; Ontañon, Santiago; Gonzalez-Calero, Pedro A.; Plaza, EnricArtículo
closedAccessaccesoRestringido.pdf.jpg2016Local preconditioning and variational multiscale stabilization for Euler compressible steady flowMoragues Ginard, Margarida; Vazquez, Mariano; Houzeaux, GuillaumeArtículo
openAccessCI(2016)35_986-1004.pdf.jpg2016Infrastructure-agnostic programming and interoperable execution in heterogeneous gridsTejedor, Enric; Alvarez, Javier; Badia, Rosa M.Artículo
closedAccessaccesoRestringido.pdf.jpg2016Fourier stability analysis and local Courant number of the preconditioned variational multiscale stabilization (P-VMS) for Euler compressible flowMoragues Ginard, Margarida; Bernardino, Gabriel; Vazquez, Mariano; Houzeaux, GuillaumeArtículo
closedAccessaccesoRestringido.pdf.jpg2016Fitting processor architectures for measurement-based probabilistic timing analysisKosmidis, Leonidas; Quiñones, Eduardo; Abella, Jaume; Hernandez, Carles; Gianarro, Andrea; Broster, Ian; Cazorla, Francisco J.Artículo
closedAccessaccesoRestringido.pdf.jpg2016Exploiting subproblem optimization in SAT-based MaxSAT algorithmsAnsotegui, Carlos; Gabas, Joel; Levy, JordiArtículo
closedAccessaccesoRestringido.pdf.jpg2016DReAM: An approach to estimate per-task DRAM energy in multicore systemsLiu, Qixiao; Moreto, Miquel; Abella, Jaume; Cazorla, Francisco J.; Valero, MateoArtículo
openAccessCCIS677(2016)_97-116.pdf.jpg2016Collaborative assessments in on-line classroomsOsman, Nardine; Andrejczuk, Ewa; RodrIguez-Aguilar, Juan A.; Sierra, CarlesArtículo
openAccessACME(2016)_4(1)673-722.pdf.jpg2016A Review of Element-Based Galerkin Methods for Numerical Weather Prediction: Finite Elements, Spectral Elements, and Discontinuous GalerkinMarras, Simone; Kelly, James F.; Moragues, Margarida; Müller, Andreas; Kopera, Michal A.; Vazquez, Mariano; Giraldo, Francis X.; Houzeaux, Guillaume; Jorba, OriolArtículo
closedAccessaccesoRestringido.pdf.jpg2016Alya: Multiphysics engineering simulation toward exascaleVázquez, Mariano; Houzeaux, Guillaume; Koric, Seid; Artigues, Antoni; Aguado-Sierra, Jazmin; Arís, Ruth; Mira, Daniel; Calmet, Hadrien; Cucchietti, Fernando M.; Owen, Herbert; Taha, Ahmed; Burness, Evan Dering; Cela, Jose María; Valero, MateoArtículo
openAccessIEEETCDS(2016)8_26-41.pdf.jpg2016Active Learning of Object and Body Models with Time Constraints on a Humanoid RobotRibes, Arturo; Cerquides, Jesus; Demiris, Yiannis; Lopez de Mantaras, RamonArtículo
openAccess2017Unrealistic phylogenetic trees may improve phylogenetic footprintingNettling, Martin; Treutler, Hendrik; Cerquides, Jesus; Grosse, IvoArtículo
closedAccessaccesoRestringido.pdf.jpg2017PyCOMPSs: Parallel computational workflows in PythonTejedor, Enric; Becerra, Yolanda; Alomar, Guillem; Queralt, Anna; Badia, Rosa M.; Torres, Jordi; Cortes, Toni; Labarta, JesusArtículo
openAccessEJES(2017)_1-num28.pdf.jpg2017On the assessment of probabilistic WCET estimates reliability for arbitrary programMilutinovic, Suzana; Abella, Jaume; Cazorla, Francisco J.Artículo
closedAccessaccesoRestringido.pdf.jpg2017On strong standard completeness in some MTL Δ expansionsVidal, Amanda; Bou, Felix; Esteva, Francesc; Godo, LluisArtículo
openAccessJLC27(2017)299-336.pdf.jpg2017On modal extensions of Product fuzzy logicVidal, Amanda; Esteva, Francesc; Godo, LluisArtículo
closedAccessaccesoRestringido.pdf.jpg2017On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problemLi, Chumin; Jiang, Hua; Manya, FelipArtículo
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 332
 Siguiente >