15792 search results - page 113 / 3159 » Computational Abstraction Steps |
105
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
119
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--Promising approaches for efficient detection in multiple-input multiple-output (MIMO) wireless systems are based on sphere-decoding (SD). The conventional (and optimum) n...
112
Voted
PODC
1996
ACM
15 years 8 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
117
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...