1291 search results - page 190 / 259 » Arithmetic program paths |
119
Voted
ICONS
2008
IEEE
15 years 7 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
105
click to vote
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
127
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—Recharging the batteries of a moribund sensor deployed as part of a wireless sensor network is often infeasible due to logistical considerations. With the purpose of prolonging ...
103
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
This paper studies labeling schemes for the vertex connectivity function on general graphs. We consider the problem of labeling the nodes of any n-node graph is such a way that gi...
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Although providing reliable network services is getting more and more important, currently used methods in IP networks are typically reactive and error correcting can take a long t...