7430 search results - page 1147 / 1486 » Programming Applications in CIFF |
192
click to vote
PRIMA
2007
Springer
16 years 24 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
196
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
197
click to vote
CGO
2006
IEEE
16 years 23 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
158
Voted
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
192
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
MPI provides a portable message passing interface for many parallel execution platforms but may lead to inefficiencies for some platforms and applications. In this article we sho...