Sciweavers

6508 search results - page 990 / 1302
» Development and the Baldwin Effect
Sort
View
196
Voted
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TCAD
2002
121views more  TCAD 2002»
15 years 6 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
TIT
2002
64views more  TIT 2002»
15 years 6 months ago
Performance of blind and group-blind multiuser detectors
Abstract--In blind and group-blind multiuser detection, different detectors can be designed using either the sample data covariance matrix directly or its eigencomponents. Due to f...
Anders Høst-Madsen, Xiaodong Wang
TKDE
2002
168views more  TKDE 2002»
15 years 6 months ago
CLARANS: A Method for Clustering Objects for Spatial Data Mining
Spatial data mining is the discovery of interesting relationships and characteristics that may exist implicitly in spatial databases. To this end, this paper has three main contrib...
Raymond T. Ng, Jiawei Han
TROB
2002
140views more  TROB 2002»
15 years 6 months ago
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
This paper presents a biologically inspired approach to two basic problems in modular self-reconfigurable robots: adaptive communication in self-reconfigurable and dynamic networks...
Wei-Min Shen, Behnam Salemi, Peter M. Will