1158 search results - page 169 / 232 » Software is discrete mathematics |
117
Voted
SIAMAM
2011
14 years 7 months ago
2011
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
117
Voted
ICSE
2007
IEEE-ACM
16 years 22 days 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...
131
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
95
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...