229 search results - page 39 / 46 » Bilateral Algorithms for Symbolic Abstraction |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
ASC
2008
13 years 7 months ago
2008
Abstract. Objective: Age classification of patients based on information extracted from electrocardiograms (ECG's). The scope of this work is to develop and compare the perfor...
AAECC
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. After some excitement generated by recently suggested public key exchange protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al., it is a prevalent opinion now that th...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The question in the title is relevant when considering latticereduction-aided MIMO detectors, which achieve the same diversity as the maximum-likelihood detector while exhibiting ...