7393 search results - page 402 / 1479 » Synthesis-for-testability using transformations |
164
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
110
Voted
ICLP
1989
Springer
15 years 9 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
132
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
153
Voted
CHI
2007
ACM
15 years 9 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
167
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Diversity and memory are two major mechanisms used in biology to keep the adaptability of organisms in the everchanging environment in nature. These mechanisms can be integrated i...