Sciweavers

6187 search results - page 1043 / 1238
» Practical Software Measurement
Sort
View
IOLTS
2009
IEEE
174views Hardware» more  IOLTS 2009»
16 years 1 months ago
ATPG-based grading of strong fault-secureness
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
Marc Hunger, Sybille Hellebrand, Alejandro Czutro,...
CIKM
2009
Springer
16 years 29 days ago
Predicting the volume of comments on online news stories
On-line news agents provide commenting facilities for readers to express their views with regard to news stories. The number of user supplied comments on a news article may be ind...
Manos Tsagkias, Wouter Weerkamp, Maarten de Rijke
CIKM
2009
Springer
16 years 29 days ago
Expected reciprocal rank for graded relevance
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...
Olivier Chapelle, Donald Metlzer, Ya Zhang, Pierre...
FM
2009
Springer
123views Formal Methods» more  FM 2009»
16 years 29 days ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
FSTTCS
2009
Springer
16 years 29 days ago
Non-Local Box Complexity and Secure Function Evaluation
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
Marc Kaplan, Iordanis Kerenidis, Sophie Laplante, ...
« Prev « First page 1043 / 1238 Last » Next »