Sciweavers

16822 search results - page 657 / 3365
» Designing Simulation Experiments
Sort
View
NOMS
2002
IEEE
130views Communications» more  NOMS 2002»
16 years 12 days ago
End-to-end service failure diagnosis using belief networks
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...
Malgorzata Steinder, Adarshpal S. Sethi
SPAA
2010
ACM
16 years 9 days ago
Simplifying concurrent algorithms by exploiting hardware transactional memory
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
Dave Dice, Yossi Lev, Virendra J. Marathe, Mark Mo...
ISBMS
2010
Springer
16 years 8 days ago
LASTIC: A Light Aspiration Device for in vivo Soft TIssue Characterization
This paper introduces a new Light Aspiration device for in vivo Soft TIssue Characterization (LASTIC). This device is designed to be used during surgery, and can undergo sterilizat...
Patrick Schiavone, Emmanuel Promayon, Yohan Payan
ISSTA
2009
ACM
16 years 4 days ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ATAL
2009
Springer
16 years 3 days ago
To flock or not to flock: the pros and cons of flocking in long-range "migration" of mobile robot swarms
This study investigates the pros and cons of flocking in longrange “migration” of mobile robot swarms under the influence of different factors. We present a flocking behav...
Fatih Gökçe, Erol Sahin