5451 search results - page 188 / 1091 » Typed Operational Semantics |
131
click to vote
SIAMIS
2010
15 years 2 months ago
2010
We present a novel deconvolution approach to accurately restore piecewise smooth signals from blurred data. The first stage uses Higher Order Total Variation restorations to obtai...
149
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Many enterprise applications prefer to store XML data as a rich data type, i.e. a sequence of bytes, in a relational database system to avoid the complexity of decomposing the dat...
128
click to vote
ACL
1994
15 years 5 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
169
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
168
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...