Pablo Sanchez

19 papers A* 1A 1C 4Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Evaluating Scheduling Algorithms for Adaptive Orchestration in Federated Tactical Edge Cloud Environments.
ICMCIS
Alessandro Amato, Harrie Bastiaansen, Jared Coleman, Willem Datema, Mattia Fogli, Johan van der Geest, Bhaskar Krishnamachari, Thomas Kudla, Pablo Sanchez, Niranjan Suri
2025 — conf
Extending Kubernetes to Provide Federated and Adaptive Tactical Edge Clouds.
MILCOM
Alessandro Amato, Harrie Bastiaansen, Masoud Bozorgi, Willem Datema, Mattia Fogli, Johan van der Geest, Thomas Kudla, Pablo Sanchez, Niranjan Suri, Susan Watson
2024 J jnl
A Data Storage, Analysis, and Project Administration Engine (TMFdw) for Small- to Medium-Size Interdisciplinary Ecological Research Programs with Full Raster Data Capabilities.
Data
Paulina Grigusova, Christian Beilschmidt, Maik Dobbermann, Johannes Drönner, Michael Mattig, Pablo Sanchez, Nina Farwig, Jörg Bendix
2024 — conf
A Performance Cost/Benefit Analysis of Adaptive Computing in the Tactical Edge.
ICMCIS
Alessandro Amato, Harrie Bastiaansen, Willem Datema, Mattia Fogli, Roberto Fronteddu, Raffaele Galliera, Johan van der Geest, Thomas Kudla, Pablo Sanchez, Niranjan Suri, Susan Watson
2015 C conf
Parallel Native-Simulation for Multi-processing Embedded Systems.
DSD
Alejandro Nicolás, Pablo Sanchez
2008 — conf
Identifying bioentity recognition errors of rule-based text-mining systems.
ICDIM
Francisco M. Couto, Tiago Grego, Hugo P. Bastos, Catia Pesquita, Rafael P. Torres, Pablo Sanchez, Leandro Pascual, Christian Blaschke
2008 — conf
Integration of domain-specific models into a MDA framework for time-critical embedded systems.
WISES
Pablo Sanchez, Javier Barreda, Jorge Ocón
2008 — conf
Optimized coverage-directed random simulation.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2008 J jnl
Post traumatic brain perfusion SPECT analysis using reconstructed ROI maps of radioactive microsphere derived cerebral blood flow and statistical parametric mapping.
BMC Medical Imaging
Anthony J. McGoron, Michael Capille, Michael F. Georgiou, Pablo Sanchez, Juan Solano, Manuel Gonzalez-Brito, John W. Kuluz
2006 C conf
Assertion checking of control dominated systems with nonlinear solvers.
MEMOCODE
Íñigo Ugarte, Pablo Sanchez
2006 — conf
Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2005 C conf
Assertion Checking of Behavioral Descriptions with Non-linear Solver.
ICCD
Íñigo Ugarte, Pablo Sanchez
2005 C conf
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.
MEMOCODE
Íñigo Ugarte, Pablo Sanchez
2005 — conf
Formal meaning of coverage metrics in simulation-based hardware design verification.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2005 J jnl
Verification of Embedded Systems Based on Interval Analysis.
Int. J. Parallel Program.
Íñigo Ugarte, Pablo Sanchez
2003 — conf
Functional vector generation for assertion-based verification at behavioral level using interval analysis.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2000 A* conf
Embedded hardware and software self-testing methodologies for processor cores.
DAC
Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng
2000 J jnl
Using a Soft Core in a SoC Design: Experiences with picoJava.
IEEE Des. Test Comput.
Sujit Dey, Debashis Panigrahi, Li Chen, Clark N. Taylor, Krishna Sekar, Pablo Sanchez
1996 A conf
System Level Fault Simulation.
ITC
Pablo Sanchez, Isabel Hidalgo