1054 search results - page 21 / 211 » Translation Validation of System Abstractions |
165
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
166
Voted
DSD
2004
IEEE
15 years 9 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
153
click to vote
INTERSPEECH
2010
15 years 22 days ago
2010
The development of a speech translation (ST) system is costly, largely because it is expensive to collect parallel data. A new language pair is typically only considered in the af...
169
click to vote
ASWEC
2008
IEEE
16 years 12 days ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
147
click to vote
NLDB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...