Sciweavers

11097 search results - page 223 / 2220
» Hera presentation generator
Sort
View
91
Voted
IEEEARES
2007
IEEE
15 years 5 months ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 5 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
SIBGRAPI
2005
IEEE
15 years 4 months ago
Imesh: An Image Based Quality Mesh Generation Technique
Generating triangular meshes from images is a task important to many applications. Usually, techniques that can do that either take as starting point a segmented image or generate...
Alex Jesus Cuadros-Vargas, Luis Gustavo Nonato, Ro...
77
Voted
ITICSE
2004
ACM
15 years 4 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
80
Voted
ITS
2010
Springer
169views Multimedia» more  ITS 2010»
15 years 3 months ago
Automatic Question Generation for Literature Review Writing Support
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
Ming Liu, Rafael A. Calvo, Vasile Rus