6010 search results - page 423 / 1202 » Computational Approaches to Drug Design |
179
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
163
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
213
click to vote
MIDDLEWARE
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Design of distributed architectures for content-based publish-subscribe (pub-sub) service networks has been a challenging problem. To best support the highly dynamic and ...
291
click to vote
GIS
2005
ACM
16 years 8 months ago
2005
ACM
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
167
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...