3913 search results - page 572 / 783 » complexity 2006 |
171
click to vote
LCN
2006
IEEE
16 years 18 days ago
2006
IEEE
Network server consolidation has become popular through recent virtualization technology that builds secure, isolated network systems on shared hardware. One of the virtualization...
180
Voted
MEMOCODE
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
158
click to vote
MIAR
2006
IEEE
16 years 18 days ago
2006
IEEE
Functional neuroimaging technologies have transformed cognitive neuroscience by enhancing our understanding of the functional subclassification of brain regions. Whilst a number of...
158
click to vote
MICRO
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents and studies a distributed L2 cache management approach through OS-level page allocation for future many-core processors. L2 cache management is a crucial multi...
183
click to vote
NCA
2006
IEEE
16 years 18 days ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...