Sciweavers

3018 search results - page 342 / 604
» Replicating for Performance: Case Studies
Sort
View
PEPM
2000
ACM
15 years 10 months ago
From Recursion to Iteration: What are the Optimizations?
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
Yanhong A. Liu, Scott D. Stoller
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 10 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
ATAL
2008
Springer
15 years 8 months ago
The senior companion multiagent dialogue system
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...
Hugo Pinto, Yorick Wilks, Roberta Catizone, Alexie...
AMOST
2005
ACM
15 years 8 months ago
Early estimation of defect density using an in-process Haskell metrics model
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
Mark Sherriff, Nachiappan Nagappan, Laurie A. Will...
DEXA
2008
Springer
90views Database» more  DEXA 2008»
15 years 8 months ago
Knowledge Mining for the Business Analyst
There is an extensive literature on data mining techniques, including several applications of these techniques in the e-commerce setting. However, all previous approaches require t...
Themis Palpanas, Jakka Sairamesh