2722 search results - page 377 / 545 » Automating Language Evolution |
150
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
134
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
156
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
130
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
134
click to vote
FIW
2007
15 years 5 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...