2496 search results - page 420 / 500 » Error-detecting properties of languages |
127
click to vote
FPL
2009
Springer
15 years 6 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
138
click to vote
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
108
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
105
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
117
click to vote
GCSE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...