738 search results - page 39 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
103
click to vote
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
113
click to vote
AIRWEB
2009
Springer
15 years 4 months ago
2009
Springer
The popularity of social bookmarking sites has made them prime targets for spammers. Many of these systems require an administrator’s time and energy to manually filter or remo...
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
Computational Grids are large scale computing system composed of geographically distributed resources (computers, storage etc.) owned by self interested agents or organizations. T...
JCC
2007
14 years 9 months ago
2007
Abstract: A novel self-organizing algorithm for conformational sampling is introduced, in which precomputed conformations of rigid fragments are used as templates to enforce the de...
CTRSA
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...