Search Sciweavers | Sciweavers

15317 search results - page 45 / 3064

» Globally Distributed Data

click to vote

DAC
2002
ACM

169views Computer Architecture» more DAC 2002»

A physical model for the transient response of capacitively loaded distributed rlc interconnects

14 years 11 months ago

Download www.ece.gatech.edu

Rapid approximation of the transient response of high-speed global interconnects is needed to estimate the time delay, crosstalk, and overshoot in a GSI multilevel wiring network....

Raguraman Venkatesan, Jeffrey A. Davis, James D. M...

claim paper

Read More »

click to vote

FORTE
2011

277views Formal Methods» more FORTE 2011»

A Framework for Verifying Data-Centric Protocols

13 years 1 months ago

Download www.pps.jussieu.fr

Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...

Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...

claim paper

Read More »

click to vote

MASCOTS
2010

177views Modeling And Simulation» more MASCOTS 2010»

Distributed Routing for Vehicular Ad Hoc Networks: Throughput-Delay Tradeoff

13 years 11 months ago

Download dspace.ucalgary.ca

In this paper, we address the problem of low-latency routing in a vehicular highway network. To cover long highways while minimizing the number of required roadside access points,...

Ali Abedi, Majid Ghaderi, Carey L. Williamson

claim paper

Read More »

click to vote

SPDP
1992
IEEE

91views Distributed And Parallel Com...» more SPDP 1992»

Debugging Dynamic Distributed Programs Using Global Predicates

14 years 2 months ago