Sciweavers

4679 search results - page 390 / 936
» The Timely Computing Base Model and Architecture
Sort
View
STTT
2010
115views more  STTT 2010»
15 years 5 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
TC
2010
15 years 1 months ago
Model-Driven System Capacity Planning under Workload Burstiness
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
ICC
2007
IEEE
197views Communications» more  ICC 2007»
16 years 1 months ago
Basis Expansion Model and Doppler Diversity Techniques for Frequency Domain Channel Estimation and Equalization in DS-CDMA Syste
Abstract— In this paper, we propose a frequency domain adaptive estimation of Doppler shifts for multiple Doppler subpaths in direct sequence code division multiple access (DS-CD...
Tianqi Wang, Cheng Li, Hsiao-Hwa Chen
IJCNN
2007
IEEE
16 years 1 months ago
Encoding Complete Body Models Enables Task Dependent Optimal Behavior
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
Oliver Herbort, Martin V. Butz
NECO
2010
103views more  NECO 2010»
15 years 1 months ago
Population Models of Temporal Differentiation
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
Bryan P. Tripp, Chris Eliasmith