2203 search results - page 326 / 441 » Temporal Abstract Interpretation |
159
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
111
click to vote
IPPS
2008
IEEE
15 years 10 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...
142
Voted
ISORC
2008
IEEE
15 years 10 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 ...
152
Voted
LCN
2008
IEEE
15 years 10 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...
124
click to vote
SEFM
2008
IEEE
15 years 10 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...