Sciweavers

4887 search results - page 312 / 978
» System Level Design Using C
Sort
View
FDL
2003
IEEE
15 years 12 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
15 years 1 months ago
Integrated dynamic optimization and control in reservoir engineering using locally identified linear models
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
Gijs van Essen, Amin Rezapour, Paul M. J. Van den ...
WCRE
1999
IEEE
15 years 11 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
IPPS
2007
IEEE
16 years 29 days ago
Using Coroutines for RPC in Sensor Networks
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
Marcelo Cohen, Thiago Ponte, Silvana Rossetto, Noe...
JISE
2011
113views more  JISE 2011»
15 years 1 months ago
Mandarin Singing-voice Synthesis Using an HNM Based Scheme
In this paper, HNM (harmonic plus noise model) is enhanced and used to design a scheme for synthesizing Mandarin singing voice. Enhancements made include synthesizing signals with...
Hung-Yan Gu, Huang-Liang Liao