3951 search results - page 565 / 791 » Automatic amortized analysis |
178
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
207
click to vote
CGO
2006
IEEE
16 years 20 days ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
169
click to vote
GLVLSI
2005
IEEE
16 years 7 days ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
178
click to vote
ICDAR
2005
IEEE
16 years 7 days ago
2005
IEEE
Automatic text recognition from natural images receives a growing attention because of potential applications in image retrieval, robotics and intelligent transport system. Camera...
173
click to vote
MM
2005
ACM
16 years 5 days ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...