602 search results - page 78 / 121 » Efficient Model Checking of Applications with Input Output |
CRYPTO
2005
Springer
14 years 2 months ago
2005
Springer
Motivated by the security of the nonlinear filter generator, the concept of correlation was previously extended to the conditional correlation, that studied the linear correlation...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...