4772 search results - page 351 / 955 » An approach to interface synthesis |
229
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...
220
Voted
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
179
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
Recently a deterministic built-in self-test scheme has been presented based on reseeding of multiple-polynomial linear feedback shift registers. This scheme encodes deterministic ...
203
Voted
EUROGP
2008
Springer
15 years 9 months ago
2008
Springer
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. H...
167
Voted
CNL
2009
15 years 8 months ago
2009
In this paper we describe two quite different philosophies used in developing controlled languages (CLs): A "naturalist" approach, in which CL interpretation is treated a...