4985 search results - page 664 / 997 » Observation of String-Rewriting Systems |
184
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
182
click to vote
WMCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we study the inconsistency problem in data broadcast. While data items in a mobile computing system are being broadcast, update transactions may install new values ...
177
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
154
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
173
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
A key challenge in achieving high performance on software DSM systems is overcoming their relatively large communication latencies. In this paper, we consider two techniques which...