2030 search results - page 294 / 406 » Designing Complex Software Implementation Programs |
114
click to vote
ISSTA
2004
ACM
15 years 7 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...
122
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
99
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
147
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
160
click to vote
APCSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...