345 search results - page 10 / 69 » Quantitative analysis of static models of processes |
IJFCS
2007
14 years 11 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
121
click to vote
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
SIGSOFT
2002
ACM
16 years 13 days ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The first part of our work is connected with the analysis of typical random variables for the specific human-initiated process. We study the data characterizing editorial work wit...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...