Sciweavers

2470 search results - page 276 / 494
» Liveness-Preserving Simulation Relations
Sort
View
IPSN
2004
Springer
15 years 11 months ago
Naps: scalable, robust topology management in wireless ad hoc networks
Topology management schemes conserve energy in wireless ad hoc networks by identifying redundant nodes that may turn off their radios or other components while maintaining connec...
Brighten Godfrey, David Ratajczak
151
Voted
ISMS
2004
Springer
15 years 11 months ago
Liver Vessel Parameter Estimation from Tactile Imaging Information
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
Anna M. Galea, Robert D. Howe
DAC
2003
ACM
15 years 11 months ago
Low-power design methodology for an on-chip bus with adaptive bandwidth capability
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...
Rizwan Bashirullah, Wentai Liu, Ralph K. Cavin III
CCS
2003
ACM
15 years 11 months ago
Origin authentication in interdomain routing
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
William Aiello, John Ioannidis, Patrick Drew McDan...
HAPTICS
2002
IEEE
15 years 11 months ago
Haptic Subdivision: An Approach to Defining Level-of-Detail in Haptic Rendering
Soft objects are often desired in applications such as virtual surgery training. Soft object simulations are computationally intensive because object deformation involves numerica...
Jian Zhang, Shahram Payandeh, John Dill