1959 search results - page 291 / 392 » Concerned About Separation |
180
Voted
POPL
2006
ACM
16 years 6 days ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
171
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
OSDI
2004
ACM
16 years 6 days ago
2004
ACM
We propose a method to reuse unmodified device drivers and to improve system dependability using virtual machines. We run the unmodified device driver, with its original operating...
STOC
2010
ACM
15 years 9 months ago
2010
ACM
The relationship between BQP and PH has been an open problem since the earliest days of quantum computing. We present evidence that quantum computers can solve problems outside th...
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
The Gaussian Mixture Model (GMM) is often used in conjunction with Mel-frequency cepstral coefficient (MFCC) feature vectors for speaker recognition. A great challenge is to use ...