4520 search results - page 784 / 904 » Algebraic Techniques for Timed Systems |
162
click to vote
SAMOS
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
190
click to vote
3DPVT
2006
IEEE
16 years 14 days ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
199
click to vote
AINA
2006
IEEE
16 years 14 days ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
177
click to vote
ICNP
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
162
click to vote
ICPP
2006
IEEE
16 years 13 days ago
2006
IEEE
Unstructured peer-to-peer networks have become a very popular method for content distribution in the past few years. By not enforcing strict rules on the network’s topology or c...