149 search results - page 1 / 30 » Simulating a P system based efficient solution to SAT by usi... |
JLP
2010
13 years 17 days ago
2010
ICUMT
2009
13 years 3 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...
WWW
2008
ACM
14 years 6 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...
IPPS
2010
IEEE
13 years 3 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...
TCS
2010
13 years 15 days 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...