Sciweavers

3667 search results - page 378 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
CISSE
2009
Springer
15 years 10 months ago
Unbiased Statistics of a Constraint Satisfaction Problem - a Controlled-Bias Generator
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
Denis Berthier
FSTTCS
1998
Springer
15 years 10 months ago
Optimal Regular Tree Pattern Matching Using Pushdown Automata
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
Maya Madhavan, Priti Shankar
PEPM
1995
ACM
15 years 10 months ago
Abstract Interpretation and Low-Level Code Optimization
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
Saumya K. Debray
C3S2E
2008
ACM
15 years 8 months ago
Evenness preserving operations on musical rhythms
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...
Francisco Gomez-Martin, Perouz Taslakian, Godfried...
CISSE
2008
Springer
15 years 8 months ago
Improved Induction Tree Training for Automatic Lexical Categorization
This paper studies a tuned version of an induction tree which is used for automatic detection of lexical word category. The database used to train the tree has several fields to de...
M. D. López De Luise, M. Soffer, F. Spelanz...