990 search results - page 168 / 198 » A Static Analysis Technique for Graph Transformation Systems |
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 ...
120
click to vote
MDAFA
2004
Springer
15 years 10 months ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
199
Voted
TSD
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
138
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
204
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...