1054 search results - page 73 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
145
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
137
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
145
click to vote
ICCAD
2002
IEEE
16 years 22 days 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...
131
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The use of many distributed, heterogeneous resources as a large collective platform offers great potential. A key issue for these grid platforms is middleware scalabili...
129
click to vote
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A new machine learning approach is presented for automatic detection of Mediterranean water eddies from sea surface temperature maps of the Atlantic Ocean. A pre-processi...