1265 search results - page 215 / 253 » A Parallel Genetic Algorithm with Distributed Environment Sc... |
71
Voted
CONCUR
2007
Springer
15 years 2 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
94
Voted
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
SAGA
2005
Springer
15 years 3 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
82
Voted
HPDC
2006
IEEE
15 years 4 months ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present a cost-effective, high bandwidth server I/O network architecture, named PaScal (Parallel and Scalable). We use the PaScal server I/O network to support da...