Sciweavers

1192 search results - page 21 / 239
» Symbolic Query Exploration
Sort
View
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
15 years 6 months ago
HLS: combining statistical and symbolic simulation to guide microprocessor designs
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
JILP
2002
83views more  JILP 2002»
15 years 1 months ago
Using Statistical and Symbolic Simulation for Microprocessor Performance Evaluation
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
ICCAD
2010
IEEE
124views Hardware» more  ICCAD 2010»
14 years 11 months ago
Symbolic performance analysis of elastic systems
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...
ICDAR
2009
IEEE
14 years 11 months ago
A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
Thi-Oanh Nguyen, Salvatore Tabbone, Alain Boucher
FMCAD
2007
Springer
15 years 5 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...