2673 search results - page 233 / 535 » Guided Static Analysis |
179
click to vote
CGO
2010
IEEE
16 years 25 days ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
144
click to vote
FM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
166
Voted
RTSS
2008
IEEE
16 years 10 days ago
2008
IEEE
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
135
click to vote
SOCC
2008
IEEE
16 years 10 days ago
2008
IEEE
— Several design metrics have been used in the past to evaluate the SRAM cell stability. However, most of them fail to provide the exact stability figures as shown in this paper...
141
click to vote
ICC
2007
IEEE
16 years 8 days ago
2007
IEEE
— Sharing of 3G network infrastructure among operators offers an alternative solution to reducing the investment in the coverage phase of WCDMA. For radio access network (RAN) sh...