Sciweavers

2374 search results - page 116 / 475
» Automatic Generation of Model Translations
Sort
View
SIGSOFT
2001
ACM
16 years 5 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
DSL
2009
15 years 2 months ago
Operator Language: A Program Generation Framework for Fast Kernels
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
Franz Franchetti, Frédéric de Mesmay...
CP
2008
Springer
15 years 6 months ago
Universal Booleanization of Constraint Models
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
Jinbo Huang
137
Voted
UAIS
2008
155views more  UAIS 2008»
15 years 4 months ago
Adaptive course generation through learning styles representation
This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focuse...
Enver Sangineto, Nicola Capuano, Matteo Gaeta, Ale...
IMR
1999
Springer
15 years 9 months ago
Volume Decomposition and Feature Recognition for Hexahedral Mesh Generation
Considerable progress has been made on automatic hexahedral mesh generation in recent years. Several automatic meshing algorithms have proven to be very reliable on certain classe...
Yong Lu, Rajit Gadh, Timothy J. Tautges