2702 search results - page 247 / 541 » Practically Applicable Formal Methods |
159
click to vote
TOSEM
2008
15 years 2 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
173
click to vote
COMPGEOM
2011
ACM
14 years 6 months ago
2011
ACM
We present a clustering scheme that combines a mode-seeking phase with a cluster merging phase in the corresponding density map. While mode detection is done by a standard graph-b...
124
click to vote
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
106
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
107
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...