143 search results - page 12 / 29 » Symbolic performance analysis of elastic systems |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
DOCENG
2003
ACM
14 years 26 days ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We apply the replica method to analyze vector precoding, a method to reduce transmit power in antenna array communications. The analysis applies to a very general class of channel...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we investigate the performance of an adaptive coded modulation (ACM) system in single-input multiple-output Rayleigh fading channels with spatial correlation. The...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...