8496 search results - page 1471 / 1700 » Problem Solving and Complex Systems |
182
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...
189
click to vote
PDPTA
2004
15 years 7 months ago
2004
Random data placement has recently emerged as an alternative to traditional data striping. From a performance perspective, it has been demonstrated to be an efficient and scalable...
221
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
148
click to vote
ICDT
1999
ACM
15 years 10 months ago
1999
ACM
Electronic newsgroups are one of the primary means for the dissemination, exchange and sharing of information. We argue that the current newsgroup model is unsatisfactory, especial...
155
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...