Sciweavers

4747 search results - page 766 / 950
» Shuffle Memory System
Sort
View
PPL
2007
112views more  PPL 2007»
15 years 6 months ago
Embodied Computation
The traditional computational devices and models, such as the von Neumann architecture or the Turing machine, are strongly influenced by concepts of central control and perfectio...
Heiko Hamann, Heinz Wörn
ICFEM
2010
Springer
15 years 5 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICTAC
2010
Springer
15 years 5 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
IDT
2010
138views more  IDT 2010»
15 years 5 months ago
Challenging computer software frontiers and the human resistance to change
This paper examines the driving and opposing forces that are governing the current paradigm shift from a data-processing information technology environment without software intell...
Jens Pohl
IJKESDP
2010
117views more  IJKESDP 2010»
15 years 5 months ago
Constitution of Ms.PacMan player with critical-situation learning mechanism
Abstract— We previously proposed evolutionary fuzzy systems of playing Ms.PacMan for the competitions. As a consequence of the evolution, reflective action rules such that PacMa...
Hisashi Handa