11214 search results - page 335 / 2243 » Programming Multi-agent Systems |
135
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
144
click to vote
ICALP
1990
Springer
15 years 10 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
170
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...
174
Voted
JISE
2008
15 years 6 months ago
2008
We propose in this paper a two-phase algorithm, named algorithm Layered-Cutting, to address the problem of broadcast program generation in a multi-system heterogeneous overlayed w...
162
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the randomized k-server problem, and give improved results for various metric spaces. In particular, we extend a recent result of Cot