6010 search results - page 586 / 1202 » Computational Approaches to Drug Design |
169
Voted
FROCOS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
183
Voted
ICALP
2005
Springer
16 years 24 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
210
click to vote
ISCIS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. In-network processing emerges as an approach to reduce energy consumption in Wireless Sensor Networks (WSN) by decreasing the overall transferred data volume. Parallel pr...
275
Voted
WAC
2004
Springer
16 years 19 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
191
click to vote
ASAP
2003
IEEE
16 years 17 days ago
2003
IEEE
On-chip implementation of multiprocessor systems requires the planarization of the interconnect network onto the silicon floorplan. Manual floorplanning approaches will become i...