Sciweavers

11376 search results - page 219 / 2276
» Willow System Demonstration
Sort
View
QSIC
2007
IEEE
16 years 26 days ago
A Scriptable, Statistical Oracle for a Metadata Extraction System
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf...
SIPS
2007
IEEE
16 years 26 days ago
Multilevel Linc System Design for Power Efficiency Enhancement
Linear amplifier with nonlinear components (LINC) is a power amplifier (PA) linearization technique which offers both high PA efficiency and high linearity of wireless transmitter...
Kai-Yuan Jheng, Yuan-Jyue Chen, An-Yeu Wu
VLSID
2007
IEEE
104views VLSI» more  VLSID 2007»
16 years 25 days ago
STEFAL: A System Level Temperature- and Floorplan-Aware Leakage Power Estimator for SoCs
In this paper we demonstrate the impact of the floorplan on the temperature-dependent leakage power of a System on Chip (SoC). We propose a novel system level temperature aware a...
Aseem Gupta, Nikil D. Dutt, Fadi J. Kurdahi, Kamal...
VTC
2007
IEEE
16 years 25 days ago
Context-Based Communications Dimensioning for Safety Applications in Wireless Vehicular Systems
—The use of wireless vehicular communication systems for traffic safety applications imposes a careful and adequate communications dimensioning to ensure the transmission of broa...
Miguel Sepulcre, Javier Gozálvez
FMICS
2007
Springer
16 years 22 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller