Sciweavers

2241 search results - page 172 / 449
» Performance Modeling and Evaluation of E-Business Systems
Sort
View
ICASSP
2011
IEEE
13 years 27 days ago
Shout detection in noise
For the task of detecting shouted speech in a noisy environment, this paper introduces a system based on mel frequency cepstral coefficient (MFCC) feature extraction, unsupervise...
Jouni Pohjalainen, Paavo Alku, Tomi Kinnunen
FROCOS
2011
Springer
12 years 8 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
14 years 28 days ago
Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
SACMAT
2010
ACM
13 years 7 months ago
Enforcing spatial constraints for mobile RBAC systems
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
Michael S. Kirkpatrick, Elisa Bertino
SIGMETRICS
2011
ACM
196views Hardware» more  SIGMETRICS 2011»
12 years 12 months ago
Autocorrelation analysis: a new and improved method for measuring branch predictability
Branch taken rate and transition rate have been proposed as metrics to characterize the branch predictability. However, these two metrics may misclassify branches with regular his...
Jian Chen, Lizy Kurian John