Sciweavers

6040 search results - page 422 / 1208
» Generating Instance Models from Meta Models
Sort
View
EUROPAR
2005
Springer
16 years 10 days ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
16 years 10 days ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
ADS
2004
Springer
16 years 6 days ago
Modeling and Synthesizing Emotional Speech for Catalan Text-to-Speech Synthesis
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
Ignasi Iriondo Sanz, Francesc Alías, Javier...
ICSM
2003
IEEE
16 years 2 days ago
On Modeling Software Architecture Recovery as Graph Matching
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
Kamran Sartipi, Kostas Kontogiannis
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 12 months ago
Cost modeling and cycle-accurate co-simulation of heterogeneous multiprocessor systems
—In this paper, we present a method to analyze different implementations of stream-based applications on heterogeneous multiprocessor systems. We take both resource usage and per...
Sven van Haastregt, Eyal Halm, Bart Kienhuis