571 search results - page 63 / 115 » Performing causality analysis by bounded model checking |
TCAD
2002
14 years 11 months ago
2002
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...
ICB
2007
Springer
15 years 6 months ago
2007
Springer
This paper investigates a new approach to formulate performance indices of biometric system using information theoretic models. The performance indices proposed here (unlike conven...
109
click to vote
TWC
2011
14 years 6 months ago
2011
—In this paper, the performance of the ALOHA and CSMA MAC protocols are analyzed in spatially distributed wireless networks. The main system objective is correct reception of pac...
104
click to vote
ESTIMEDIA
2007
Springer
15 years 6 months ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...