Sciweavers

1686 search results - page 4 / 338
» Programs as polygraphs: computability and complexity
Sort
View
106
Voted
ICLP
1992
Springer
15 years 6 months ago
Complexity of Computing with Extended Propositional Logic Programs
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...
90
Voted
APAL
2005
86views more  APAL 2005»
15 years 2 months ago
Control structures in programs and computational complexity
Karl-Heinz Niggl
114
Voted
COMSIS
2010
15 years 5 days 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
136
Voted
CSFW
2011
IEEE
14 years 2 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 ...
88
Voted
IWPC
2010
IEEE
15 years 1 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