Sciweavers

1991 search results - page 206 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
124
Voted
AOSD
2006
ACM
15 years 8 months ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao
134
Voted
CPHYSICS
2006
127views more  CPHYSICS 2006»
15 years 2 months ago
GenAnneal: Genetically modified Simulated Annealing
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
Ioannis G. Tsoulos, Isaac E. Lagaris
101
Voted
SE
2007
15 years 4 months ago
A Case Study on Model-Driven and Conventional Software Development: The palladio editor
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
Klaus Krogmann, Steffen Becker
138
Voted
TON
2012
13 years 5 months ago
A Joint Approach to Routing Metrics and Rate Adaptation in Wireless Mesh Networks
—This work proposes MARA, a joint method for automatic rate selection and route quality evaluation in Wireless Mesh Networks. This method targets at avoiding the problem of inacc...
Diego G. Passos, Célio V. N. Albuquerque
242
Voted
POPL
2009
ACM
16 years 3 months ago
Automated verification of practical garbage collectors
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
Chris Hawblitzel, Erez Petrank