3667 search results - page 636 / 734 » Software Rejuvenation - Modeling and Analysis |
145
click to vote
CMMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Voice separation is a critical component of music information retrieval, music analysis and automated transcription systems. We present a contig mapping approach to voice...
153
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
154
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...
158
click to vote
ICICS
2004
Springer
15 years 11 months ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
141
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...