3228 search results - page 70 / 646 » Computationally Sound Proofs |
ENTCS
2007
13 years 8 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
ESOP
2011
Springer
13 years 10 days ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
COMJ
2010
13 years 6 months ago
2010
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...