9412 search results - page 290 / 1883 » An aspect-oriented generative approach |
193
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents Resist, a recursive test pattern generation (TPG) algorithm for path delay fault testing of scan-based circuits. In contrast to other approaches, it exploits t...
156
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
159
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
164
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
167
click to vote
BMVC
2002
15 years 9 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...