1880 search results - page 324 / 376 » A Static Analysis for Beta-Binders |
SAC
2010
ACM
15 years 2 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
IEEEPACT
2002
IEEE
15 years 2 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper examines the explicit communication characteristics of several sophisticated scientific applications, which, by themselves, constitute a representative suite of publicl...