6740 search results - page 657 / 1348 » Using Classification as a Programming Language |
173
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
199
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
178
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
148
click to vote
ASE
2000
15 years 6 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
165
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...