Sciweavers

3865 search results - page 468 / 773
» From Bidirectionality to Alternation
Sort
View
INFOCOM
2005
IEEE
16 years 10 days ago
Achieving faster access to satellite link bandwidth
TCP with Van Jacobson congestion control (VJCC) is known to have poor performance over large bandwidthdelay product paths. Long delay paths, in particular, can display very poor b...
A. Kapoor, Aaron Falk, Theodore Faber, Y. Pryadkin
ISQED
2005
IEEE
116views Hardware» more  ISQED 2005»
16 years 10 days ago
A Mask Reuse Methodology for Reducing System-on-a-Chip Cost
Today's System-on-a-Chip (SoC) design methodology provides an efficient way to develop highly integrated systems on a single chip by utilizing pre-designed intellectual prope...
Subhrajit Bhattacharya, John A. Darringer, Daniel ...
IV
2005
IEEE
94views Visualization» more  IV 2005»
16 years 10 days ago
Meaning Metaphor for Visualizing Search Results
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
Nicolas Bonnel, Alexandre Cotarmanac'h, Annie Mori...
LICS
2005
IEEE
16 years 10 days ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
SMI
2005
IEEE
16 years 10 days ago
Curvature-based Energy for Simulation and Variational Modeling
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
Denis Zorin