149 search results - page 1 / 30 » Simulating a P system based efficient solution to SAT by usi... |
72
Voted
JLP
2010
14 years 8 months ago
2010
117
Voted
ICUMT
2009
14 years 10 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
101
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
128
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
The computational power provided by many-core graphics processing units (GPUs) has been exploited in many applications. The programming techniques currently employed on these GPUs...
109
click to vote
TCS
2010
14 years 7 months ago
2010
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...