4385 search results - page 368 / 877 » Abstraction for Concurrent Objects |
162
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Multiobjective optimization problems have been widely addressed using evolutionary computation techniques. However, when dealing with more than three conflicting objectives (th...
173
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
197
Voted
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...
171
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present reliability solutions for adaptable Network RAM systems running on general-purpose clusters. Network RAM allows nodes with over-committed memory to swap pages...
218
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...