Sciweavers

3256 search results - page 103 / 652
» Mixin-Based Programming in C
Sort
View
144
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Parallel implementation of Multi-dimensional Ensemble Empirical Mode Decomposition
In this paper, we propose and evaluate two parallel implementations of Multi-dimensional Ensemble Empirical Mode Decomposition (MEEMD) for multi-core (CPU) and many-core (GPU) arc...
Li-Wen Chang, Men-Tzung Lo, Nasser Anssari, Ke-Hsi...
ENTCS
2002
107views more  ENTCS 2002»
15 years 3 months ago
Monitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
138
Voted
SIAMJO
2010
121views more  SIAMJO 2010»
15 years 1 months ago
Optimization Strategies for the Vulnerability Analysis of the Electric Power Grid
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
Ali Pinar, Juan Meza, Vaibhav Donde, Bernard C. Le...
CP
2007
Springer
15 years 9 months ago
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
95
Voted
CP
2005
Springer
15 years 9 months ago
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freud...