Sciweavers

1151 search results - page 100 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
ITC
1999
IEEE
98views Hardware» more  ITC 1999»
15 years 8 months ago
A design diversity metric and reliability analysis for redundant systems
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...
Subhasish Mitra, Nirmal R. Saxena, Edward J. McClu...
CCGRID
2005
IEEE
15 years 10 months ago
Q-SAC: toward QoS optimized service automatic composition
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
Hanhua Chen, Hai Jin, Xiaoming Ning, Zhipeng Lu
ACSD
2007
IEEE
81views Hardware» more  ACSD 2007»
15 years 10 months ago
A model-driven design approach for mechatronic systems
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...
Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis,...
DSD
2002
IEEE
110views Hardware» more  DSD 2002»
15 years 9 months ago
A Design for a Low-Power Digital Matched Filter Applicable to W-CDMA
This paper presents a design for a low-power digital matched filter (DMF) applicable to Wideband-Code Division Multiple Access (W-CDMA), which is a Direct-Sequence Spread-Spectrum...
Shoji Goto, Takashi Yamada, Norihisa Takayarna, Yo...
DAC
2005
ACM
16 years 5 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram