Sciweavers

2227 search results - page 37 / 446
» Reversibility and Models for Concurrency
Sort
View
ICIP
2007
IEEE
14 years 11 months ago
Time Reversal Beamforming for Microwave Breast Cancer Detection
Microwave radiation is well known as a diagnostic imaging method for many medical applications, for example, early stage breast cancer detection. Microwave detection of breast tum...
José M. F. Moura, Yi Jiang, Yuanwei Jin
ICDE
2006
IEEE
225views Database» more  ICDE 2006»
14 years 4 months ago
Continuous Reverse Nearest Neighbor Monitoring
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...
Tian Xia, Donghui Zhang
PPPJ
2006
ACM
14 years 3 months ago
Experiences with the development of a reverse engineering tool for UML sequence diagrams: a case study in modern Java developmen
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
Matthias Merdes, Dirk Dorsch
ADAEUROPE
2003
Springer
14 years 1 months ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...
C++
1992
83views more  C++ 1992»
13 years 11 months ago
Adding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
Peter A. Buhr, G. Ditchfeld