5200 search results - page 863 / 1040 » Symbolic models for control systems |
177
click to vote
IV
2005
IEEE
16 years 20 days ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
187
click to vote
GW
2005
Springer
16 years 18 days ago
2005
Springer
This work proposes a new way for providing feedback to expressivity in music performance. Starting from studies on the expressivity of music performance we developed a system in wh...
199
Voted
EMSOFT
2004
Springer
16 years 14 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
196
click to vote
RSP
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
243
click to vote
CBSQ
2003
Springer
16 years 9 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...