2278 search results - page 311 / 456 » Specification Techniques for Automatic Performance Analysis ... |
165
Voted
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
180
Voted
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
128
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
149
click to vote
AAAI
2010
15 years 6 months ago
2010
Top-k approximate querying on string collections is an important data analysis tool for many applications, and it has been exhaustively studied. However, the scale of the problem ...
137
click to vote
TVLSI
2008
15 years 4 months ago
2008
To satisfy the advanced forward-error-correction (FEC) standards, in which the Convolutional code and Turbo code may co-exit, a prototype design of a unified Convolutional/Turbo de...