310 search results - page 8 / 62 » A language and framework for invariant-driven transformation... |
133
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
236
click to vote
LISP
2006
15 years 4 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
148
click to vote
TCS
2002
15 years 3 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
154
click to vote
PDSE
1998
15 years 5 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
129
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
This paper proposes a technique for speaker and language adaptive training for HMM-based polyglot speech synthesis. Language-specific context-dependencies in the system are captur...