Sciweavers

3007 search results - page 90 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 1 months ago
Robust Analog Circuit Sizing Using Ellipsoid Method and Affine Arithmetic
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
Xuexin Liu, Wai-Shing Luk, Yu Song, Pushan Tang, X...
KBSE
1997
IEEE
15 years 2 months ago
Distributed Cooperative Formal Methods Tools
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, ...
EH
2002
IEEE
105views Hardware» more  EH 2002»
15 years 2 months ago
Gigahertz FPGAs with New Power Saving Techniques and Decoding Logic
The availability of SiGe HBT devices has opened the door for Gigahertz FPGAs. Speeds over 5GHz have been reported. However, to make the idea practical, serious power management an...
Channakeshav, Kuan Zhou, Russell P. Kraft, John F....
BCSHCI
2009
14 years 11 months ago
Hospital user research using new media arts
This paper presents a comparative analysis of group interaction around two display types, shared and individual, using a `new media' arts application as a way to explore the ...
Cecily Morrison, Alan F. Blackwell
TIP
2010
142views more  TIP 2010»
14 years 4 months ago
A Blind Watermarking Scheme Using New Nontensor Product Wavelet Filter Banks
As an effective method for copyright protection of digital products against illegal usage, watermarking in wavelet domain has recently received considerable attention due to the de...
Xinge You, Liang Du, Yiu-ming Cheung, Qiuhui Chen