23201 search results - page 30 / 4641 » Rewriting Systems with Data |
PKDD
2000
Springer
13 years 11 months ago
2000
Springer
Data mining is a useful decision support technique, which can be used to find trends and regularities in warehouses of corporate data. A serious problem of its practical applicatio...
OSDI
1996
ACM
13 years 9 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
MEMBRANE
2004
Springer
14 years 1 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
GMP
2006
IEEE
14 years 1 months ago
2006
IEEE
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
KBSE
2000
IEEE
14 years 2 days ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...