3951 search results - page 368 / 791 » Automatic amortized analysis |
195
click to vote
ENTCS
2006
15 years 6 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
226
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
278
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
164
Voted
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
161
click to vote
EPIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this work, a Simulated Annealing (SA) algorithm is proposed for a Metabolic Engineering task: the optimization of the set of gene deletions to apply to a microbial str...