16725 search results - page 2854 / 3345 » Engineering Software Correctness |
165
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
189
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
214
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
Over the past decade, system architectures have started on a clear trend towards increased parallelism and heterogeneity, often resulting in speedups of 10x to 100x. Despite numer...
185
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
207
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...