262 search results - page 15 / 53 » A concurrent rule scheduling algorithm for active rules |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
FUIN
2000
13 years 8 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
AUIC
2006
IEEE
14 years 2 months ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
UPP
2004
Springer
14 years 1 months ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
ICDM
2010
IEEE
13 years 6 months ago
2010
IEEE
An important problem that arises during the data mining process in many new emerging application domains is mining data with temporal dependencies. One such application domain is a...