Sciweavers

1686 search results - page 4 / 338
» Programs as polygraphs: computability and complexity
Sort
View
ICLP
1992
Springer
14 years 2 months ago
Complexity of Computing with Extended Propositional Logic Programs
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...
COMSIS
2010
13 years 8 months ago
Metrics for evaluation of metaprogram complexity
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
Robertas Damasevicius, Vytautas Stuikys
CSFW
2011
IEEE
12 years 10 months ago
The Complexity of Quantitative Information Flow Problems
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
IWPC
2010
IEEE
13 years 9 months ago
A Simple and Effective Measure for Complex Low-Level Dependencies
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
Dirk Beyer, Ashgan Fararooy