3984 search results - page 612 / 797 » A Model-Driven Transformation Method |
127
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
165
Voted
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
159
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
122
click to vote
ACL
2008
15 years 6 months ago
2008
Written documents created through dictation differ significantly from a true verbatim transcript of the recorded speech. This poses an obstacle in automatic dictation systems as s...
131
click to vote
GRAPHICSINTERFACE
2007
15 years 6 months ago
2007
We propose a robust and imperceptible spectral watermarking method for high rate embedding of a watermark into 3D polygonal meshes. Our approach consists of four main steps: (1) t...