7526 search results - page 1311 / 1506 » The Design and Implementation of the A2QM3 System |
124
click to vote
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
108
Voted
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
115
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
101
click to vote
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
116
click to vote
ICDCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...