5863 search results - page 1111 / 1173 » On Model-Checking of P Systems |
146
Voted
SIGUCCS
2004
ACM
15 years 9 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
151
Voted
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
155
Voted
SAB
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
148
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
139
Voted
MOBIDE
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a general-purpose distributed lookup service, denoted Passive Distributed Indexing (PDI). PDI stores entries in form of (key, value) pairs in index caches loca...