3736 search results - page 266 / 748 » Generative Programming |
158
click to vote
RIVF
2003
15 years 5 months ago
2003
—In this paper we consider the Airspace Sectorization Problem (ASP) where airspace has to be partitioned into a number of sectors, each sector being assigned to a team of air tra...
125
click to vote
VTS
1997
IEEE
15 years 8 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
107
click to vote
ICCAD
1991
IEEE
15 years 7 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
117
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
158
click to vote
ECEASST
2006
15 years 3 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...