1058 search results - page 21 / 212 » MEMOPS: Data modelling and automatic code generation. |
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
SPIN
2012
Springer
13 years 1 days ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
AAAI
2008
14 years 12 months ago
2008
This paper addresses the task of automatic classification of semantic relations between nouns. We present an improved WordNet-based learning model which relies on the semantic inf...
IPPS
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...