Sciweavers

11376 search results - page 219 / 2276
» Willow System Demonstration
Sort
View
QSIC
2007
IEEE
16 years 1 months 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 1 months 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 1 months 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 1 months 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 1 months 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