4 search results - page 1 / 1 » Tiling Transactions in Rewriting Logic |
63
Voted
ENTCS
2002
15 years 2 days ago
2002
105
Voted
SIGMOD
1997
ACM
15 years 4 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...
209
Voted
POPL
2007
ACM
16 years 17 days 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...
115
click to vote
DEBU
2010
14 years 9 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...