2271 search results - page 216 / 455 » Scalable Software Libraries |
162
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
144
click to vote
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
Today's high-end massively parallel processing (MPP) machines have thousands to tens of thousands of processors, with next-generation systems planned to have in excess of one...
139
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
132
click to vote
AAAI
2010
15 years 5 months ago
2010
Plan recognition is the problem of inferring the goals and plans of an agent after observing its behavior. Recently, it has been shown that this problem can be solved efficiently,...
151
click to vote
DGO
2003
15 years 5 months ago
2003
The Internet has recently become the medium of interaction with large volumes of data. Enterprises in the public and private sectors made their databases available over the Intern...