56 search results - page 3 / 12 » Controller Synthesis from LSC Requirements |
VR
2010
IEEE
13 years 4 months ago
2010
IEEE
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
BIRTHDAY
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
COOPIS
2004
IEEE
13 years 9 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
ISSS
1999
IEEE
13 years 10 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
GLOBECOM
2007
IEEE
14 years 7 days ago
2007
IEEE
—In [1], the author introduced a strategy to use network coding on p-Cycles in order to provide 1+N protection for straddling connections and links against single link failures i...