495 search results - page 54 / 99 » Extensible Proof-Producing Compilation |
ICS
1993
Tsinghua U.
13 years 11 months ago
1993
Tsinghua U.
Many standardized hardware communication interfaces offer runtime flexibility and configurability at the cost of efficiency. An alternate approach is the use of a highly-effic...
PARLE
1992
13 years 11 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
POPL
1990
ACM
13 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...