3951 search results - page 220 / 791 » Automatic amortized analysis |
157
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
150
click to vote
IDA
2008
Springer
15 years 6 months ago
2008
Springer
Meta-heuristics such as simulated annealing, genetic algorithms and tabu search have been successfully applied to many difficult optimization problems for which no satisfactory pro...
163
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
170
click to vote
NAR
2000
15 years 5 months ago
2000
ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...
154
click to vote
TCAD
1998
15 years 5 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...