4151 search results - page 153 / 831 » Language Driven System Design |
125
click to vote
SPEECH
2008
15 years 3 months ago
2008
This paper describes a language/accent verification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The two-stage system is ...
124
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
142
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
124
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
122
click to vote
ICSOFT
2007
15 years 4 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...