3342 search results - page 104 / 669 » Symbolic Robustness Analysis |
145
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
153
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
181
click to vote
ATVA
2011
Springer
14 years 5 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
148
click to vote
DATE
2007
IEEE
16 years 8 days ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...
168
click to vote
TWC
2008
15 years 5 months ago
2008
This paper discusses the design and analysis of post coded OFDM (PC-OFDM) systems. Coded or precoded OFDM systems are generally employed to overcome the symbol recovery problem in...