477 search results - page 22 / 96 » Design patterns in separation logic |
SLSFS
2005
Springer
14 years 1 months ago
2005
Springer
Random projection is a simple technique that has had a number of applications in algorithm design. In the context of machine learning, it can provide insight into questions such as...
EDBT
1998
ACM
14 years 15 hour ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
FAST
2008
13 years 10 months ago
2008
We propose a tamper-evident storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by outof-plane magnetisation ...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...