1226 search results - page 105 / 246 » Generating Abstractions from Static Domain Analysis |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
ICCAD
1999
IEEE
14 years 16 days ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
AAAI
1994
13 years 9 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
IOR
2002
13 years 8 months ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract – One of the major drawbacks of OFDM is high Peakto-Average Power Ratio (PAPR) which can result in poor power efficiency and serious distortion in the transmitter amplif...