2440 search results - page 346 / 488 » Explanation-Based Feature Construction |
196
click to vote
HASKELL
2006
ACM
16 years 28 days ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
181
Voted
ML
2006
ACM
16 years 27 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
161
Voted
PLDI
2006
ACM
16 years 27 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
199
Voted
PLDI
2006
ACM
16 years 27 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
169
Voted
PLDI
2006
ACM
16 years 27 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...