1880 search results - page 138 / 376 » A Static Analysis for Beta-Binders |
155
click to vote
ICPPW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an analytical performance prediction model that can be used to predict the speedup and similar performance metrics of four approximate string searching implemen...
130
click to vote
MFCS
1994
Springer
15 years 10 months ago
1994
Springer
We consider the question of lookahead in the list update problem: What improvement can be achieved in terms of competitiveness if an on-line algorithm sees not only the present re...
166
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
160
click to vote
SCAM
2008
IEEE
16 years 28 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
180
click to vote
WICON
2008
15 years 8 months ago
2008
We consider a wireless network consisting of multiple transmitters with multicast traffic destined for a set of receivers. We are interested in the problem of joint scheduling and...