9209 search results - page 1656 / 1842 » Data Space Randomization |
145
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
115
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the past few years considerable attention has been given to the design of multiple-input multiple-output (MIMO) eigenmode transmission systems (EMTS). This paper presents an in...
127
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes a Genetic Algorithms approach to a manpower-scheduling problem arising at a major UK hospital. Although Genetic Algorithms have been successfully used for sim...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...