738 search results - page 87 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
SAC
2002
ACM
14 years 9 months ago
2002
ACM
We investigate the universal characteristics of the simulated time horizon of the basic conservative parallel algorithm when implemented on regular lattices. This technique [1, 2]...
116
click to vote
VVS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present here a new algorithm for accelerating volume rendering with an orthographic projection. Because volume rendering handles huge data sets, a reduction in the computationa...
CCR
2008
14 years 10 months ago
2008
Network virtualization is a powerful way to run multiple architectures or experiments simultaneously on a shared infrastructure. However, making efficient use of the underlying re...
DATE
2006
IEEE
15 years 1 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
IISWC
2006
IEEE
15 years 3 months ago
2006
IEEE
— Recent advances in molecular biology have led to a continued growth in the biological information generated by the scientific community. Additionally, this area has become a m...