3827 search results - page 446 / 766 » The Epsilon Generation Language |
203
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
156
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
191
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
162
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
159
Voted
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
d hardware design from behavior-level abstraction has drawn wide interest in FPGA-based acceleration and configurable computing research field. However, for many high-level progra...