Sciweavers

4451 search results - page 79 / 891
» Continuous model synthesis
Sort
View
RTS
2002
46views more  RTS 2002»
15 years 5 months ago
Scheduler Modeling Based on the Controller Synthesis Paradigm
Karine Altisen, Gregor Gößler, Joseph S...
ASPDAC
2010
ACM
95views Hardware» more  ASPDAC 2010»
15 years 3 months ago
Platform modeling for exploration and synthesis
Andreas Gerstlauer, Gunar Schirner
128
Voted
TAICPART
2010
IEEE
125views Education» more  TAICPART 2010»
15 years 3 months ago
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
Marko Kääramees, Jüri Vain, Kullo R...