1728 search results - page 215 / 346 » Advanced empirical testing |
135
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
113
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
121
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
156
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
173
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The advancement of network induces great demands on a series of applications such as the multicast routing. This paper firstly makes a brief review on the algorithms in ...