1054 search results - page 11 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
106
click to vote
CICLING
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...
153
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
102
click to vote
ICST
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
112
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
142
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...