9412 search results - page 193 / 1883 » An aspect-oriented generative approach |
148
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
156
click to vote
GLVLSI
2006
IEEE
16 years 17 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
170
click to vote
SAMOS
2005
Springer
16 years 12 hour ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
138
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
Most of today’s course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requi...
192
click to vote
PATAT
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...