529 search results - page 82 / 106 » Property Directed Abstract Interpretation |
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
155
click to vote
PAM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Monitoring end-to-end paths in an overlay network is essential for evaluating end-system performance and for troubleshooting anomalous behavior. However, conducting measu...
166
click to vote
ICPP
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
161
click to vote
AIPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...
157
click to vote
ARITH
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...