2607 search results - page 55 / 522 » Complete Functional Synthesis |
163
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
106
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
112
click to vote
TPDS
1998
15 years 3 months ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
123
click to vote
ISPASS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present the eDragon environment, a research platform created to perform complete performance analysis of new Web-based technologies. eDragon enables the understan...
120
click to vote
IANDC
2010
15 years 1 months ago
2010
The structure map turning a set into the carrier of a final coalgebra is not unique. This fact is well-known but commonly elided. In this paper we argue that any such concrete re...