4 search results - page 1 / 1 » Tiling Transactions in Rewriting Logic |
54
Voted
ENTCS
2002
14 years 10 months ago
2002
SIGMOD
1997
ACM
15 years 2 months ago
1997
ACM
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
183
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
DEBU
2010
14 years 7 months ago
2010
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...