Sciweavers

5101 search results - page 970 / 1021
» Capturing Context Requirements
Sort
View
SAS
2001
Springer
166views Formal Methods» more  SAS 2001»
14 years 7 days ago
Estimating the Impact of Scalable Pointer Analysis on Optimization
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...
INFOCOM
2000
IEEE
14 years 6 days ago
Topology Discovery in Heterogeneous IP Networks
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...
Yuri Breitbart, Minos N. Garofalakis, Cliff Martin...
INFOCOM
2000
IEEE
14 years 6 days ago
Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks
—When congestion builds up in a packet network, two general approaches are possible to cope with the shortage of buffer space. One approach is to drop incoming packets for which ...
Mark J. Karol, S. Jamaloddin Golestani, David Lee
IPPS
2000
IEEE
14 years 6 days ago
Connectivity Models for Optoelectronic Computing Systems
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
Haldun M. Özaktas
VR
2000
IEEE
101views Virtual Reality» more  VR 2000»
14 years 6 days ago
Multimodal Menu Presentation and Selection in Immersive Virtual Environments
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
Namgyu Kim, Gerard Jounghyun Kim, Chan-Mo Park, In...