Sciweavers

503 search results - page 21 / 101
» Computational Efficiency Evaluation in Output Analysis
Sort
View
HPDC
2005
IEEE
14 years 2 months ago
A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment
In this paper, we argue that a broad range of Internet-scale distributed applications can benefit from an underlying low-cost consistency detection framework – an alternative to...
Yijun Lu, Hong Jiang
CIE
2006
Springer
14 years 5 days ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
CSUR
1999
74views more  CSUR 1999»
13 years 8 months ago
Algorithm Engineering
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
Giuseppe Cattaneo, Giuseppe F. Italiano
OSS
2009
Springer
14 years 3 months ago
Estimating Commit Sizes Efficiently
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
Philipp Hofmann, Dirk Riehle
ICSE
2009
IEEE-ACM
13 years 6 months ago
Extended eTVRA vs. security checklist: Experiences in a value-web
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Ka...