2757 search results - page 244 / 552 » On separating systems |
183
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Locating content efficiently and conveniently is the key issue in P2P systems. In this paper we present SemanticPeer, an Ontology-Based P2P lookup service, to address this problem,...
151
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
d abstract) Nathan Segerlind∗ Sam Buss† Russell Impagliazzo‡ We prove a new switching lemma that works for restrictions that set only a small fraction of the variables and i...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses the problem of localizing a source from noisy time-of-arrival measurements. In particular, we are interested in the optimal placement of M planar sensors s...
139
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
159
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....