Sciweavers

5409 search results - page 952 / 1082
» A performance study of client-broker-server systems
Sort
View
TSE
2010
123views more  TSE 2010»
15 years 1 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
VLSI
2010
Springer
15 years 1 months ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
ICASSP
2011
IEEE
14 years 10 months ago
Scale-dependent analysis of Ionosphere fluctuations
Ionosphere consists of a large complex system whose analysis is of major importance, e.g., for climatology or radiocommunications. Therefore, studying its variations, usually anal...
Stéphane G. Roux, Patrice Abry, Petra Kouck...
ICASSP
2011
IEEE
14 years 10 months ago
Recent development of discriminative training using non-uniform criteria for cross-level acoustic modeling
In this paper, we extend our previous study on discriminative training using non-uniform criteria for speech recognition. The work will put emphasis on how the acoustic modeling i...
Chao Weng, Biing-Hwang Juang
ICASSP
2011
IEEE
14 years 10 months ago
A visual attention model combining top-down and bottom-up mechanisms for salient object detection
Selective attention in the human visual system is performed as the way that humans focus on the most important parts when observing a visual scene. Many bottom-up computational mo...
Yuming Fang, Weisi Lin, Chiew Tong Lau, Bu-Sung Le...