Sciweavers

1649 search results - page 106 / 330
» On-Line Change Mechanisms
Sort
View
PERVASIVE
2006
Springer
15 years 6 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
JSW
2007
66views more  JSW 2007»
15 years 6 months ago
Implementing Model-Based Data Structures using Transient Model Extensions
— Software is often constructed using a layered approach to encapsulate various functionality in corresponding layers. Individual requirements of each layer demand layer specifi...
Michael Thonhauser, Gernot Schmoelzer, Christian K...
BC
2004
72views more  BC 2004»
15 years 6 months ago
A simple translation in cortical log-coordinates may account for the pattern of saccadic localization errors
During saccadic eye movements, the visual world shifts rapidly across the retina. Perceptual continuity is thought to be maintained by active neural mechanisms that compensate for ...
Rufin van Rullen
BC
2002
84views more  BC 2002»
15 years 6 months ago
Hebbian spike-driven synaptic plasticity for learning patterns of mean firing rates
Synaptic plasticity is believed to underlie the formation of appropriate patterns of connectivity that stabilize stimulus-selective reverberations in the cortex. Here we present a ...
Stefano Fusi
ISCA
2011
IEEE
324views Hardware» more  ISCA 2011»
14 years 10 months ago
Prefetch-aware shared resource management for multi-core systems
Chip multiprocessors (CMPs) share a large portion of the memory subsystem among multiple cores. Recent proposals have addressed high-performance and fair management of these share...
Eiman Ebrahimi, Chang Joo Lee, Onur Mutlu, Yale N....