Sciweavers

2796 search results - page 150 / 560
» A time structure based software reliability model
Sort
View
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
14 years 4 months ago
Hardware aging-based software metering
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
Foad Dabiri, Miodrag Potkonjak
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 1 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
FECS
2006
113views Education» more  FECS 2006»
13 years 10 months ago
A Lightweight Program Similarity Detection Model using XML and Levenshtein Distance
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
Seo-Young Noh, Sangwoo Kim, Cheonyoung Jung
TR
2008
117views more  TR 2008»
13 years 9 months ago
Redundancy Allocation for Series-Parallel Systems Using Integer Linear Programming
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
Alain Billionnet
PAMI
2012
11 years 11 months ago
Simultaneously Fitting and Segmenting Multiple-Structure Data with Outliers
Abstract—We propose a robust fitting framework, called Adaptive Kernel-Scale Weighted Hypotheses (AKSWH), to segment multiplestructure data even in the presence of a large number...
Hanzi Wang, Tat-Jun Chin, David Suter