269 search results - page 17 / 54 » Computational soundness of observational equivalence |
PLDI
1997
ACM
14 years 19 days ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
The natural role of sound in actions involving mechanical impact and vibration suggests the use of auditory display as an augmentation to virtual haptic interfaces. In order to bu...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
The sound reaching the acoustic sensor in a realistic environment contains not only the part arriving directly from the sound source but also a number of environmental re ections....
TODAES
1998
13 years 8 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
APPROX
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we investigate the computational complexity of a combinatorial problem that arises in the reverse engineering of protein and gene networks. Our contributions are as ...