Sciweavers

9931 search results - page 165 / 1987
» Generative Modeling by PRISM
Sort
View
CAISE
2004
Springer
15 years 9 months ago
Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
Iris Reinhartz-Berger, Dov Dori
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 9 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
ITICSE
2004
ACM
15 years 9 months ago
Generation as method for explorative learning in computer science education
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
Andreas Kerren
130
Voted
JSS
2007
169views more  JSS 2007»
15 years 3 months ago
MDABench: Customized benchmark generation using MDA
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton
COLING
2010
14 years 10 months ago
The True Score of Statistical Paraphrase Generation
This article delves into the scoring function of the statistical paraphrase generation model. It presents an algorithm for exact computation and two applicative experiments. The f...
Jonathan Chevelu, Ghislain Putois, Yves Lepage