Pablo Sanchez

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 1

Top Topics

Multiple Scales

Embedded Systems

Processing Units

Top Venues

Publications

Alessandro Amato, Harrie Bastiaansen, Willem Datema, Mattia Fogli, Roberto Fronteddu, Raffaele Galliera, Johan van der Geest, Thomas Kudla, Pablo Sanchez, Niranjan Suri, Susan Watson
A Performance Cost/Benefit Analysis of Adaptive Computing in the Tactical Edge. ICMCIS (2024)
Alejandro Nicolás, Pablo Sanchez
Parallel Native-Simulation for Multi-processing Embedded Systems. DSD (2015)
Francisco M. Couto, Tiago Grego, Hugo P. Bastos, Catia Pesquita, Rafael P. Torres, Pablo Sanchez, Leandro Pascual, Christian Blaschke
Identifying bioentity recognition errors of rule-based text-mining systems. ICDIM (2008)
Anthony J. McGoron, Michael Capille, Michael F. Georgiou, Pablo Sanchez, Juan Solano, Manuel Gonzalez-Brito, John W. Kuluz
Post traumatic brain perfusion SPECT analysis using reconstructed ROI maps of radioactive microsphere derived cerebral blood flow and statistical parametric mapping. BMC Medical Imaging 8 (2008)
Iñigo Ugarte, Pablo Sanchez
Optimized coverage-directed random simulation. HLDVT (2008)
Pablo Sanchez, Javier Barreda, Jorge Ocón
Integration of domain-specific models into a MDA framework for time-critical embedded systems. WISES (2008)
Iñigo Ugarte, Pablo Sanchez
Assertion checking of control dominated systems with nonlinear solvers. MEMOCODE (2006)
Iñigo Ugarte, Pablo Sanchez
Assertion-based Verification of Behavioral Descriptions with Non-linear Solver. HLDVT (2006)
Iñigo Ugarte, Pablo Sanchez
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. MEMOCODE (2005)
Iñigo Ugarte, Pablo Sanchez
Verification of Embedded Systems Based on Interval Analysis. Int. J. Parallel Program. 33 (6) (2005)
Iñigo Ugarte, Pablo Sanchez
Assertion Checking of Behavioral Descriptions with Non-linear Solver. ICCD (2005)
Iñigo Ugarte, Pablo Sanchez
Formal meaning of coverage metrics in simulation-based hardware design verification. HLDVT (2005)
Iñigo Ugarte, Pablo Sanchez
Functional vector generation for assertion-based verification at behavioral level using interval analysis. HLDVT (2003)
Sujit Dey, Debashis Panigrahi, Li Chen, Clark N. Taylor, Krishna Sekar, Pablo Sanchez
Using a Soft Core in a SoC Design: Experiences with picoJava. IEEE Des. Test Comput. 17 (3) (2000)
Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng
Embedded hardware and software self-testing methodologies for processor cores. DAC (2000)
Pablo Sanchez, Isabel Hidalgo
System Level Fault Simulation. ITC (1996)