692 search results - page 129 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
103
click to vote
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
110
click to vote
MICAI
2005
Springer
15 years 5 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
108
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
135
click to vote
CONCURRENCY
2000
14 years 11 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...