Sciweavers

Share
73 search results - page 15 / 15
» Activity-Driven Synthesis of State Machines
Sort
View
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
12 years 8 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
SIGIR
2003
ACM
12 years 8 months ago
Transliteration of proper names in cross-language applications
Translation of proper names is generally recognized as a signi´Čücant problem in many multi-lingual text and speech processing applications. Even when large bilingual lexicons use...
Paola Virga, Sanjeev Khudanpur
ASE
2005
137views more  ASE 2005»
12 years 3 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
books