9626 search results - page 1661 / 1926 » Invariant Based Programming |
172
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
—Creation of cooperative robot teams for complex tasks requires not only agents that can function well individually but also agents that can coordinate their actions. This paper ...
189
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
195
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—Packet delay traces are important measurements for analyzing end-to-end performance and for designing traffic control algorithms in computer networks. Due to the fact t...
201
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
During the last few years, the concepts of cluster computing and heterogeneous networked systems have received increasing interest. The popularity of using Java for developing par...
169
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...