1700 search results - page 48 / 340 » Specifying and implementing refactorings |
MSWIM
2005
ACM
15 years 5 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
MSR
2010
ACM
15 years 4 months ago
2010
ACM
—FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, ...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
105
click to vote
CC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...