672 search results - page 66 / 135 » Property-aware program sampling |
133
Voted
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
141
click to vote
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
104
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
116
Voted
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
119
Voted
WSC
1997
15 years 3 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...