3868 search results - page 362 / 774 » A Distributed Parallel Programming Framework |
185
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
As the desire of scientists to perform ever larger computations drives the size of today’s high performance computers from hundreds, to thousands, and even tens of thousands of ...
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
153
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
190
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
181
click to vote
WSC
2008
15 years 9 months ago
2008
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...