189 search results - page 23 / 38 » Dynamic normal forms and dynamic characteristic polynomial |
ICNP
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a protocol for maintaining multiple paths to each destination in a network of processes. For each destination, each process in the network maintains a set of neighbors ...
126
click to vote
AB
2007
Springer
15 years 6 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
HPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Information dissemination is a fundamental and frequently occuring problem in large, dynamic, distributed systems. We propose a novel approach to this problem, interest-aware info...
100
click to vote
DSD
2010
IEEE
15 years 16 hour ago
2010
IEEE
Abstract—Resizable caches can trade-off capacity for access speed to dynamically match the needs of the workload. In Simultaneous Multi-Threaded (SMT) cores, the caching needs ca...
BC
2007
14 years 12 months ago
2007
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...