4209 search results - page 656 / 842 » Software Change and Evolution |
156
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
164
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
The Maximum Parsimony problem aims at reconstructing a phylogenetic tree from DNA, RNA or protein sequences while minimizing the number of evolutionary changes. Much work has been ...
180
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
170
click to vote
MOMPES
2009
IEEE
16 years 1 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...