306 search results - page 29 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
100
click to vote
ICCAD
2002
IEEE
15 years 8 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...
JAIR
2007
14 years 11 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
EXTREME
2004
ACM
15 years 4 months ago
2004
ACM
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
104
click to vote
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
ISORC
2003
IEEE
15 years 4 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...