566 search results - page 82 / 114 » Array Abstractions from Proofs |
SAB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Audition and touch endow spectral processing abilities allowing texture recognition and discrimination. Rat whiskers sensorisystem exhibits, as the cochlea, resonance pro...
TCOM
2010
13 years 2 months ago
2010
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...