15792 search results - page 113 / 3159 » Computational Abstraction Steps |
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
EWSN
2008
Springer
14 years 8 months ago
2008
Springer
CORR
2008
Springer
13 years 9 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...
PODC
1996
ACM
14 years 1 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
CSL
2010
Springer
13 years 10 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...