2165 search results - page 97 / 433 » cases 2005 |
97
Voted
ISMVL
2005
IEEE
15 years 9 months ago
2005
IEEE
In digital signal processing, we often use higher radix system to achieve high-speed computation. In such cases, we require radix converters. This paper considers the design of LU...
123
Voted
ISPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed or parallel rule-based systems are currently needed for real applications. The proposed architecture of such a system is based on a wrapper allowing the cooperation bet...
131
Voted
ISVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
Multimedia applications are often characterized by a large number of data accesses with regular and periodic access patterns. In these cases, optimized pipelined memory access con...
113
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
115
Voted
SYNASC
2005
IEEE
15 years 9 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...