494 search results - page 63 / 99 » Static Analysis for Guarded Code |
EUROPAR
2009
Springer
14 years 1 months ago
2009
Springer
Performance evaluation tools enable analysts to shed light on how applications behave both from a general point of view and at concrete execution points, but cannot provide detaile...
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Sharing of 3G network infrastructure among operators offers an alternative solution to reducing the investment in the coverage phase of WCDMA. For radio access network (RAN) sh...
RTAS
1998
IEEE
14 years 1 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...