379 search results - page 62 / 76 » The AGEDIS Tools for Model Based Testing |
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
ISBI
2006
IEEE
16 years 15 days ago
2006
IEEE
Our goal is to optimize regularized image reconstruction methods for emission tomography with respect to the task of detecting small lesions of unknown location in the reconstruct...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present power emulation, a novel design paradigm that utilizes hardware acceleration for the purpose of fast power estimation. Power emulation is based on the ob...
102
click to vote
ISQED
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
100
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...