1689 search results - page 273 / 338 » Refining abstract interpretations |
148
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
199
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
199
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— BART is a state-of-the-art active end-to-end bandwidth measurement method that estimates not only the available bandwidth but also the link capacity of the bottleneck l...
158
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
154
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...