Sciweavers

5186 search results - page 621 / 1038
» Embedded Systems
Sort
View
ENVSOFT
2008
105views more  ENVSOFT 2008»
15 years 6 months ago
Software tools for pre- and post-processing of oceanic regional simulations
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...
Pierrick Penven, Patrick Marchesiello, Laurent Deb...
JELIA
2010
Springer
15 years 5 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
ICASSP
2011
IEEE
14 years 10 months ago
Real-time voice conversion based on instantaneous harmonic parameters
The paper presents a voice conversion framework that can be used in real-time applications. The conversion technique is based on hybrid (deterministic/stochastic) parametric speec...
Elias Azarov, Alexander A. Petrovsky
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ECBS
2008
IEEE
116views Hardware» more  ECBS 2008»
16 years 1 months ago
CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
James H. Hill, Douglas C. Schmidt, Adam A. Porter,...