3564 search results - page 310 / 713 » Evaluating a Formal Modelling Language |
160
Voted
JPDC
2000
15 years 4 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
145
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
158
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
127
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invari...
143
click to vote
NAACL
2010
15 years 2 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...