15792 search results - page 113 / 3159 » Computational Abstraction Steps |
102
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
123
Voted
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
117
Voted
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...
110
Voted
PODC
1996
ACM
15 years 7 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
115
Voted
CSL
2010
Springer
15 years 4 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...