Sciweavers

5481 search results - page 755 / 1097
» Application Analysis for Parallel Processing
Sort
View
WSC
1998
15 years 8 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
ICASSP
2010
IEEE
15 years 7 months ago
Cyclic tempogram - A mid-level tempo representation for musicsignals
The extraction of local tempo and beat information from audio recordings constitutes a challenging task, particularly for music that reveals significant tempo variations. Further...
Peter Grosche, Meinnard Mueller, Frank Kurth
ICASSP
2010
IEEE
15 years 7 months ago
Beyond Doddington menagerie, a first step towards
During the last decade, speaker verification systems have shown significant progress and have reached a level of performance and accuracy that support their utilization in pract...
Juliette Kahn, Solange Rossato, Jean-Franço...
JCP
2008
145views more  JCP 2008»
15 years 6 months ago
An Effective Mining Algorithm for Weighted Association Rules in Communication Networks
The mining of weighted association rules is one of the primary methods used in communication alarm correlation analysis. With large communication alarm database, the traditional me...
Jian Wu, Xing ming Li
JLP
2008
75views more  JLP 2008»
15 years 6 months ago
Automated verification of selected equivalences for security protocols
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
Bruno Blanchet, Martín Abadi, Cédric...