Sciweavers

947 search results - page 119 / 190
» Analysis of Techniques to Improve Protocol Processing Latenc...
Sort
View
ICIAR
2009
Springer
15 years 8 months ago
Three Dimensional Segmentation of Intravascular Ultrasound Data
Intravascular ultrasound (IVUS) is a useful imaging technique that can be used to assess the health of coronary arteries. However, manual segmentation of the lumen and adventia bou...
Marc Wennogle, William Hoff
FMCAD
2008
Springer
15 years 2 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
BIOWIRE
2007
Springer
15 years 7 months ago
Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
Salvatore Scellato, Cecilia Mascolo, Mirco Musoles...
AICOM
2005
91views more  AICOM 2005»
15 years 1 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
COMCOM
2004
109views more  COMCOM 2004»
15 years 1 months ago
User-space auto-tuning for TCP flow control in computational grids
With the advent of computational grids, networking performance over the wide-area network (WAN) has become a critical component in the grid infrastructure. Unfortunately, many hig...
Mark K. Gardner, Sunil Thulasidasan, Wu-chun Feng