11716 search results - page 108 / 2344 » Computable symbolic dynamics |
158
click to vote
ACSC
2005
IEEE
16 years 3 hour ago
2005
IEEE
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
186
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
163
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
158
click to vote
TEC
2002
15 years 6 months ago
2002
This paper proposes a novel evolutionary algorithm inspired by quantum computing, called a quantum-inspired evolutionary algorithm (QEA), which is based on the concept and principl...
180
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...