Sciweavers

11097 search results - page 223 / 2220
» Hera presentation generator
Sort
View
IEEEARES
2007
IEEE
16 years 6 days 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 12 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 11 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...
ITICSE
2004
ACM
15 years 11 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
ITS
2010
Springer
169views Multimedia» more  ITS 2010»
15 years 10 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