Sciweavers

3 search results - page 1 / 1
» acta 1999
Sort
View
48
Voted
ACTA
1999
91views more  ACTA 1999»
14 years 9 months ago
Semantic Foundations of 4NF in Relational Database Design
Millist W. Vincent
ACTA
1999
73views more  ACTA 1999»
14 years 9 months ago
Comparing Expressibility of Normed BPA and Normed BPP Processes
Ivana Cerná, Mojmír Kretínsk&...
ACTA
2006
108views more  ACTA 2006»
14 years 9 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink