8828 search results - page 412 / 1766 » Formal methods in practice |
171
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
High-density LSI packages such as ball grid array (BGA) are being utilised in the car electronics and communications infrastructure products. These products require a high-speed a...
172
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
205
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
182
Voted
ITC
1995
IEEE
15 years 10 months ago
1995
IEEE
A nalog circuit implementations of fuzzy logic are characterized by performing logical connectives of analog signals. They can be considered as generalization of digital circuits ...
154
Voted
IJRR
2008
15 years 6 months ago
2008
Recognizing useful modular robot configurations composed of hundreds of modules is a significant challenge. Matching a new modular robot configuration to a library of known configu...