3951 search results - page 154 / 791 » Automatic amortized analysis |
144
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
126
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
139
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
150
click to vote
LREC
2010
15 years 6 months ago
2010
The paper presents results of an experiment dealing with sentiment analysis of Croatian text from the domain of finance. The goal of the experiment was to design a system model fo...
133
Voted
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Rate adaptation plays a key role in determining the performance of wireless LANs. In this paper, we introduce a semi-Markovian framework to analyze the performance of t...