Sciweavers

26602 search results - page 307 / 5321
» A New Imaging Model
Sort
View
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
16 years 1 months ago
New simulation methodology of 3D surface roughness loss for interconnects modeling
— As clock frequencies exceed giga-Hertz, the extra power loss due to conductor surface roughness in interconnects and packagings is more evident and thus demands a proper accou...
Quan Chen, Ngai Wong
TASLP
2008
104views more  TASLP 2008»
15 years 6 months ago
A New Model-Based Algorithm for Optimizing the MPEG-AAC in MS-Stereo
Abstract--In this paper, a new model-based algorithm for optimizing the MPEG-Advanced Audio Coder (AAC) in MS-stereo mode is presented. This algorithm is an extension to stereo sig...
Olivier Derrien, Gaël Richard
ASE
2005
91views more  ASE 2005»
15 years 6 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
SIGGRAPH
2000
ACM
15 years 11 months ago
Tangible interaction + graphical interpretation: a new approach to 3D modeling
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
David B. Anderson, James L. Frankel, Joe Marks, As...
STTT
2002
69views more  STTT 2002»
15 years 6 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser