Sciweavers

11214 search results - page 1946 / 2243
» Just-in-time data structures
Sort
View
186
Voted
P2P
2005
IEEE
137views Communications» more  P2P 2005»
16 years 10 days ago
The Essence of P2P: A Reference Architecture for Overlay Networks
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...
Karl Aberer, Luc Onana Alima, Ali Ghodsi, Sarunas ...
SBACPAD
2005
IEEE
112views Hardware» more  SBACPAD 2005»
16 years 10 days ago
Cooperation of Neighboring PEs in Clustered Architectures
Clustered architectures which intend to process data within a localized PE are one of the approaches to increase the performance under the difficulties of the wire delay problems...
Yukinori Sato, Ken-ichi Suzuki, Tadao Nakamura
SEFM
2005
IEEE
16 years 10 days ago
Description Logics for Shape Analysis
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
Lilia Georgieva, Patrick Maier
VISUALIZATION
2005
IEEE
16 years 10 days ago
Scale-Invariant Volume Rendering
As standard volume rendering is based on an integral in physical space (or “coordinate space”), it is inherently dependent on the scaling of this space. Although this dependen...
Martin Kraus
VLSID
2005
IEEE
97views VLSI» more  VLSID 2005»
16 years 10 days ago
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
Kameshwar Chandrasekar, Michael S. Hsiao
« Prev « First page 1946 / 2243 Last » Next »