4666 search results - page 330 / 934 » Equations on Timed Languages |
190
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...
193
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
179
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
This article argues for the growing importance of quality metadata and the equation of that quality with precision and semantic grounding. Such semantic grounding requires metadat...
191
click to vote
IFL
2004
Springer
16 years 4 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
165
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...