Sciweavers

14577 search results - page 477 / 2916
» Statistical Language Modelling
Sort
View
DAGSTUHL
2004
15 years 9 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre
FASE
2004
Springer
15 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
POPL
2009
ACM
16 years 8 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
POPL
2006
ACM
16 years 8 months ago
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
Albert Cohen, Marc Duranton, Christine Eisenbeis, ...
FDL
2008
IEEE
16 years 2 months ago
Application - Platform Performance Modeling and Evaluation
Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang...